Package owl.automaton.acceptance.transformer

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

Modifier and Type	Method	Description
abstract List<ZielonkaTreeTransformations.ConditionalZielonkaTree>	children()
abstract ImmutableBitSet	colours()
abstract int	hashCode()
abstract int	height()
static ZielonkaTreeTransformations.ConditionalZielonkaTree	of(PropositionalFormula<Integer> alpha, PropositionalFormula<Integer> beta)
ZielonkaTreeTransformations.ConditionalZielonkaTree	subtree(List<Integer> path)
ZielonkaTreeTransformations.ConditionalZielonkaTree	subtree(ZielonkaTreeTransformations.Path path)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionalZielonkaTree

public ConditionalZielonkaTree()

Method Detail

colours

public abstract ImmutableBitSet colours()

Specified by:

colours in interface ZielonkaTreeTransformations.ZielonkaTree

children

public abstract List<ZielonkaTreeTransformations.ConditionalZielonkaTree> children()

Specified by:

children in interface ZielonkaTreeTransformations.ZielonkaTree

height

public abstract int height()

Specified by:

height in interface ZielonkaTreeTransformations.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)

hashCode

@Memoized
public abstract int hashCode()

Overrides:

hashCode in class Object