Package owl.bdd

Class MtBdd.Node<E>

java.lang.Object

owl.bdd.MtBdd<E>

owl.bdd.MtBdd.Node<E>

Enclosing class:

MtBdd<E>

public static final class MtBdd.Node<E>
extends MtBdd<E>

Nested Class Summary

Nested classes/interfaces inherited from class owl.bdd.MtBdd

MtBdd.Leaf<E>, MtBdd.Node<E>

Field Summary

Fields

Modifier and Type	Field	Description
MtBdd<E>	falseChild
MtBdd<E>	trueChild
int	variable

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Set<E>	get(BitSet valuation)
int	hashCode()
protected void	memoizedFlatValues(Set<E> values, Set<MtBdd<E>> seenNodes)
protected Map<E,BddSet>	memoizedInverse(BddSetFactory factory, Map<MtBdd<E>,Map<E,BddSet>> memoizedCalls, IntUnaryOperator mapping)
protected <T> MtBdd<T>	memoizedMap(Function<? super Set<E>,? extends Set<? extends T>> mapper, Map<MtBdd<E>,MtBdd<T>> memoizedCalls)
protected void	memoizedValues(Set<Set<E>> values, Set<MtBdd<E>> seenNodes)
String	toString()

Methods inherited from class owl.bdd.MtBdd

flatValues, inverse, inverse, map, of, of, of, of, values

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

variable

public final int variable

trueChild

public final MtBdd<E> trueChild

falseChild

public final MtBdd<E> falseChild

Method Detail

get

public Set<E> get(BitSet valuation)

Specified by:

get in class MtBdd<E>

memoizedFlatValues

protected void memoizedFlatValues(Set<E> values,
                                  Set<MtBdd<E>> seenNodes)

Specified by:

memoizedFlatValues in class MtBdd<E>

memoizedValues

protected void memoizedValues(Set<Set<E>> values,
                              Set<MtBdd<E>> seenNodes)

Specified by:

memoizedValues in class MtBdd<E>

memoizedMap

protected <T> MtBdd<T> memoizedMap(Function<? super Set<E>,? extends Set<? extends T>> mapper,
                                   Map<MtBdd<E>,MtBdd<T>> memoizedCalls)

Specified by:

memoizedMap in class MtBdd<E>

memoizedInverse

protected Map<E,BddSet> memoizedInverse(BddSetFactory factory,
                                              Map<MtBdd<E>,Map<E,BddSet>> memoizedCalls,
                                              IntUnaryOperator mapping)

Specified by:

memoizedInverse in class MtBdd<E>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object