Package owl.automaton.acceptance.transformer

Class ZielonkaDag

java.lang.Object

owl.automaton.acceptance.transformer.ZielonkaDag

public final class ZielonkaDag
extends Object

Constructor Summary

Constructors

Constructor	Description
ZielonkaDag(PropositionalFormula<Integer> alpha)

Method Summary

Modifier and Type	Method	Description
PropositionalFormula<Integer>	alpha()
List<ImmutableBitSet>	children(ImmutableBitSet node)

Methods inherited from class java.lang.Object

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

Constructor Detail

ZielonkaDag

public ZielonkaDag(PropositionalFormula<Integer> alpha)

Method Detail

alpha

public PropositionalFormula<Integer> alpha()

children

public List<ImmutableBitSet> children(ImmutableBitSet node)