Class ZielonkaTreeTransformations.ConditionalZielonkaTree
- java.lang.Object
-
- owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
-
- All Implemented Interfaces:
ZielonkaTreeTransformations.ZielonkaTree
- Enclosing class:
- ZielonkaTreeTransformations
public abstract static class ZielonkaTreeTransformations.ConditionalZielonkaTree extends Object implements ZielonkaTreeTransformations.ZielonkaTree
-
-
Constructor Summary
Constructors Constructor Description ConditionalZielonkaTree()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract List<ZielonkaTreeTransformations.ConditionalZielonkaTree>children()abstract ImmutableBitSetcolours()abstract inthashCode()abstract intheight()static ZielonkaTreeTransformations.ConditionalZielonkaTreeof(PropositionalFormula<Integer> alpha, PropositionalFormula<Integer> beta)ZielonkaTreeTransformations.ConditionalZielonkaTreesubtree(List<Integer> path)ZielonkaTreeTransformations.ConditionalZielonkaTreesubtree(ZielonkaTreeTransformations.Path path)
-
-
-
Method Detail
-
colours
public abstract ImmutableBitSet colours()
- Specified by:
coloursin interfaceZielonkaTreeTransformations.ZielonkaTree
-
children
public abstract List<ZielonkaTreeTransformations.ConditionalZielonkaTree> children()
- Specified by:
childrenin interfaceZielonkaTreeTransformations.ZielonkaTree
-
height
public abstract int height()
- Specified by:
heightin interfaceZielonkaTreeTransformations.ZielonkaTree
-
of
public static ZielonkaTreeTransformations.ConditionalZielonkaTree of(PropositionalFormula<Integer> alpha, PropositionalFormula<Integer> beta)
-
subtree
public ZielonkaTreeTransformations.ConditionalZielonkaTree subtree(ZielonkaTreeTransformations.Path path)
-
subtree
public ZielonkaTreeTransformations.ConditionalZielonkaTree subtree(List<Integer> path)
-
-