Package owl.bdd

Class MtBdd.Leaf<E>

java.lang.Object

owl.bdd.MtBdd<E>

owl.bdd.MtBdd.Leaf<E>

Enclosing class:

MtBdd<E>

public static final class MtBdd.Leaf<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
Set<E>	value

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Set<E>	flatValues()	Collect all values in a single set.
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

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

value

public final Set<E> value

Method Detail

get

public Set<E> get(BitSet valuation)

Specified by:

get in class MtBdd<E>

flatValues

public Set<E> flatValues()

Description copied from class: MtBdd

Collect all values in a single set. The return value of this method is not retained and ownership is transferred to the callee.

Overrides:

flatValues in class MtBdd<E>

Returns:

the set of all values.

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