Package owl.cinterface
Class DecomposedDPA
- java.lang.Object
-
- owl.cinterface.DecomposedDPA
-
public final class DecomposedDPA extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classDecomposedDPA.Reference
-
Field Summary
Fields Modifier and Type Field Description List<DeterministicAutomaton<?,?>>automataLabelledTree<owl.cinterface.DecomposedDPA.Tag,DecomposedDPA.Reference>structure
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description booleandeclare(int status, int... profile)static DecomposedDPAof(Formula formula, boolean simplify, boolean monolithic, int firstOutputVariable)intquery(int... profile)
-
-
-
Field Detail
-
structure
public final LabelledTree<owl.cinterface.DecomposedDPA.Tag,DecomposedDPA.Reference> structure
-
automata
public final List<DeterministicAutomaton<?,?>> automata
-
-
Method Detail
-
of
public static DecomposedDPA of(Formula formula, boolean simplify, boolean monolithic, int firstOutputVariable)
-
declare
public boolean declare(int status, int... profile)
-
query
public int query(int... profile)
-
-