Package owl.bdd

Interface BddSetFactory

public interface BddSetFactory

Method Summary

Modifier and Type	Method	Description
BddSet	intersection(BddSet... bddSets)
BddSet	of(boolean booleanConstant)
BddSet	of(int variable)
BddSet	of(BitSet valuation, int upTo)
BddSet	of(BitSet valuation, BitSet support)
default BddSet	of(BitSet valuation, ImmutableBitSet support)
default BddSet	of(ImmutableBitSet valuation, ImmutableBitSet support)
BddSet	of(PropositionalFormula<Integer> expression)
<S> MtBdd<S>	toMtBdd(Map<? extends S,? extends BddSet> sets)
BddSet	union(BddSet... bddSets)

Method Detail

of

BddSet of(boolean booleanConstant)

of

BddSet of(int variable)

of

BddSet of(BitSet valuation,
          int upTo)

of

BddSet of(BitSet valuation,
          BitSet support)

union

BddSet union(BddSet... bddSets)

intersection

BddSet intersection(BddSet... bddSets)

of

default BddSet of(BitSet valuation,
                  ImmutableBitSet support)

of

default BddSet of(ImmutableBitSet valuation,
                  ImmutableBitSet support)

of

BddSet of(PropositionalFormula<Integer> expression)

toMtBdd

<S> MtBdd<S> toMtBdd(Map<? extends S,? extends BddSet> sets)