Package owl.bdd
Class MtBdd.Node<E>
- java.lang.Object
-
- owl.bdd.MtBdd<E>
-
- owl.bdd.MtBdd.Node<E>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.bdd.MtBdd
MtBdd.Leaf<E>, MtBdd.Node<E>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object o)Set<E>get(BitSet valuation)inthashCode()protected voidmemoizedFlatValues(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 voidmemoizedValues(Set<Set<E>> values, Set<MtBdd<E>> seenNodes)StringtoString()
-
-
-
Method Detail
-
memoizedFlatValues
protected void memoizedFlatValues(Set<E> values, Set<MtBdd<E>> seenNodes)
- Specified by:
memoizedFlatValuesin classMtBdd<E>
-
memoizedValues
protected void memoizedValues(Set<Set<E>> values, Set<MtBdd<E>> seenNodes)
- Specified by:
memoizedValuesin classMtBdd<E>
-
memoizedMap
protected <T> MtBdd<T> memoizedMap(Function<? super Set<E>,? extends Set<? extends T>> mapper, Map<MtBdd<E>,MtBdd<T>> memoizedCalls)
- Specified by:
memoizedMapin classMtBdd<E>
-
memoizedInverse
protected Map<E,BddSet> memoizedInverse(BddSetFactory factory, Map<MtBdd<E>,Map<E,BddSet>> memoizedCalls, IntUnaryOperator mapping)
- Specified by:
memoizedInversein classMtBdd<E>
-
-