Package owl.collections
Class ValuationTree<E>
- java.lang.Object
-
- owl.collections.ValuationTree<E>
-
- Direct Known Subclasses:
ValuationTree.Leaf,ValuationTree.Node
public abstract class ValuationTree<E> extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classValuationTree.Leaf<E>static classValuationTree.Node<E>
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Set<E>get(BitSet valuation)Map<E,ValuationSet>inverse(ValuationSetFactory factory)<T> ValuationTree<T>map(Function<? super Set<E>,? extends Collection<? extends T>> mapper)protected abstract Map<E,ValuationSet>memoizedInverse(ValuationSetFactory factory, Map<ValuationTree<E>,Map<E,ValuationSet>> memoizedCalls)protected abstract <T> ValuationTree<T>memoizedMap(Function<? super Set<E>,? extends Collection<? extends T>> mapper, Map<ValuationTree<E>,ValuationTree<T>> memoizedCalls)static <E> ValuationTree<E>of()static <E> ValuationTree<E>of(int variable, ValuationTree<E> trueChild, ValuationTree<E> falseChild)static <E> ValuationTree<E>of(Collection<? extends E> value)abstract Set<E>values()
-
-
-
Method Detail
-
of
public static <E> ValuationTree<E> of()
-
of
public static <E> ValuationTree<E> of(Collection<? extends E> value)
-
of
public static <E> ValuationTree<E> of(int variable, ValuationTree<E> trueChild, ValuationTree<E> falseChild)
-
inverse
public final Map<E,ValuationSet> inverse(ValuationSetFactory factory)
-
map
public final <T> ValuationTree<T> map(Function<? super Set<E>,? extends Collection<? extends T>> mapper)
-
memoizedMap
protected abstract <T> ValuationTree<T> memoizedMap(Function<? super Set<E>,? extends Collection<? extends T>> mapper, Map<ValuationTree<E>,ValuationTree<T>> memoizedCalls)
-
memoizedInverse
protected abstract Map<E,ValuationSet> memoizedInverse(ValuationSetFactory factory, Map<ValuationTree<E>,Map<E,ValuationSet>> memoizedCalls)
-
-