public interface ValuationSetFactory
java.util.List<java.lang.String> alphabet()
default int alphabetSize()
ValuationSet complement(ValuationSet set)
default ValuationSet intersection(ValuationSet set)
default ValuationSet intersection(ValuationSet set1, ValuationSet set2)
default ValuationSet intersection(ValuationSet... sets)
default ValuationSet intersection(java.util.stream.Stream<ValuationSet> sets)
default ValuationSet intersection(java.lang.Iterable<ValuationSet> sets)
ValuationSet intersection(java.util.Iterator<ValuationSet> sets)
ValuationSet of()
ValuationSet of(java.util.BitSet valuation)
ValuationSet of(java.util.BitSet valuation, java.util.BitSet restrictedAlphabet)
default ValuationSet union(ValuationSet set)
default ValuationSet union(ValuationSet set1, ValuationSet set2)
default ValuationSet union(ValuationSet... sets)
default ValuationSet union(java.util.stream.Stream<ValuationSet> sets)
default ValuationSet union(java.lang.Iterable<ValuationSet> sets)
ValuationSet union(java.util.Iterator<ValuationSet> sets)
ValuationSet universe()