Package owl.bdd
Interface BddSetFactory
-
public interface BddSetFactory
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description BddSetintersection(BddSet... bddSets)BddSetof(boolean booleanConstant)BddSetof(int variable)BddSetof(BitSet valuation, int upTo)BddSetof(BitSet valuation, BitSet support)default BddSetof(BitSet valuation, ImmutableBitSet support)default BddSetof(ImmutableBitSet valuation, ImmutableBitSet support)BddSetof(PropositionalFormula<Integer> expression)<S> MtBdd<S>toMtBdd(Map<? extends S,? extends BddSet> sets)BddSetunion(BddSet... bddSets)
-
-
-
Method Detail
-
of
BddSet of(boolean booleanConstant)
-
of
BddSet of(int variable)
-
of
default BddSet of(BitSet valuation, ImmutableBitSet support)
-
of
default BddSet of(ImmutableBitSet valuation, ImmutableBitSet support)
-
of
BddSet of(PropositionalFormula<Integer> expression)
-
-