Package owl.automaton.determinization

Class Determinization

java.lang.Object

owl.automaton.determinization.Determinization

public class Determinization
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Determinization.BreakpointState<S>

Method Summary

Modifier and Type	Method	Description
static <S> Automaton<Set<S>,AllAcceptance>	determinizeAllAcceptance(Automaton<S,? extends AllAcceptance> automaton)
static <S> Automaton<Determinization.BreakpointState<S>,CoBuchiAcceptance>	determinizeCoBuchiAcceptance(Automaton<S,? extends CoBuchiAcceptance> ncw)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

determinizeAllAcceptance

public static <S> Automaton<Set<S>,AllAcceptance> determinizeAllAcceptance(Automaton<S,? extends AllAcceptance> automaton)

determinizeCoBuchiAcceptance

public static <S> Automaton<Determinization.BreakpointState<S>,CoBuchiAcceptance> determinizeCoBuchiAcceptance(Automaton<S,? extends CoBuchiAcceptance> ncw)