Package owl.automaton.acceptance.transformer

Class ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>

java.lang.Object

owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>

All Implemented Interfaces:

ZielonkaTreeTransformations.ZielonkaTree

Enclosing class:

ZielonkaTreeTransformations

public abstract static class ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>
extends Object
implements ZielonkaTreeTransformations.ZielonkaTree

Constructor Summary

Constructors

Constructor	Description
AlternatingCycleDecomposition()

Method Summary

Modifier and Type	Method	Description
abstract List<ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>>	children()
abstract ImmutableBitSet	colours()
abstract Map<S,Set<Edge<S>>>	edges()
abstract int	hashCode()
abstract int	height()
ZielonkaTreeTransformations.Path	leftMostLeaf(S state)
static <S> ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>	of(EmersonLeiAcceptance alpha, ImmutableBitSet colours, Map<S,Set<Edge<S>>> edges, owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AcdCache<S> cache)
static <S> List<ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>>	of(Automaton<S,?> automaton)
static <S> List<ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>>	of(Automaton<S,?> automaton, Set<S> restrictedStates, owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AcdCache<S> cache)
ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>	restriction(S state)
ZielonkaTreeTransformations.Path	restrictPathToSubtree(S state, ZielonkaTreeTransformations.Path unrestrictedPath)

Methods inherited from class java.lang.Object

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

Constructor Detail

AlternatingCycleDecomposition

public AlternatingCycleDecomposition()

Method Detail

colours

public abstract ImmutableBitSet colours()

Specified by:

colours in interface ZielonkaTreeTransformations.ZielonkaTree

edges

public abstract Map<S,Set<Edge<S>>> edges()

children

public abstract List<ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>> children()

Specified by:

children in interface ZielonkaTreeTransformations.ZielonkaTree

height

public abstract int height()

Specified by:

height in interface ZielonkaTreeTransformations.ZielonkaTree

of

public static <S> List<ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>> of(Automaton<S,?> automaton)

of

public static <S> List<ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>> of(Automaton<S,?> automaton,
                                                                                        Set<S> restrictedStates,
                                                                                        owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AcdCache<S> cache)

of

public static <S> ZielonkaTreeTransformations.AlternatingCycleDecomposition<S> of(EmersonLeiAcceptance alpha,
                                                                                  ImmutableBitSet colours,
                                                                                  Map<S,Set<Edge<S>>> edges,
                                                                                  owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AcdCache<S> cache)

restriction

public ZielonkaTreeTransformations.AlternatingCycleDecomposition<S> restriction(S state)

restrictPathToSubtree

public ZielonkaTreeTransformations.Path restrictPathToSubtree(S state,
                                                              ZielonkaTreeTransformations.Path unrestrictedPath)

leftMostLeaf

public ZielonkaTreeTransformations.Path leftMostLeaf(S state)

hashCode

@Memoized
public abstract int hashCode()

Overrides:

hashCode in class Object