Package owl.cinterface
Class DeterministicAutomaton<S,T>
- java.lang.Object
-
- owl.cinterface.DeterministicAutomaton<S,T>
-
public final class DeterministicAutomaton<S,T> extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description int
acceptance()
int
acceptanceSetCount()
int[]
edges(int stateIndex)
static DeterministicAutomaton<?,?>
of(LabelledFormula formula)
double
qualityScore(int successorIndex, int colour)
-
-
-
Field Detail
-
ACCEPTING
public static final int ACCEPTING
- See Also:
- Constant Field Values
-
REJECTING
public static final int REJECTING
- See Also:
- Constant Field Values
-
-
Method Detail
-
of
public static DeterministicAutomaton<?,?> of(LabelledFormula formula)
-
acceptance
public int acceptance()
-
acceptanceSetCount
public int acceptanceSetCount()
-
edges
public int[] edges(int stateIndex)
-
qualityScore
public double qualityScore(int successorIndex, int colour)
-
-