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 class
DecomposedDPA.Reference
-
Field Summary
Fields Modifier and Type Field Description List<DeterministicAutomaton<?,?>>
automata
LabelledTree<owl.cinterface.DecomposedDPA.Tag,DecomposedDPA.Reference>
structure
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
declare(int status, int... profile)
static DecomposedDPA
of(Formula formula, boolean simplify, boolean monolithic, int firstOutputVariable)
int
query(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)
-
-