Package owl.bdd
Interface BddSet
-
public interface BddSetSymbolic representation of aSet<BitSet>.This interface does not extend
Set<BitSet>in order to make it explicit whenever a slow-path through the explicit representation is taken.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description BddSetcomplement()booleancontains(BitSet valuation)booleancontainsAll(BddSet valuationSet)Optional<BitSet>element()BddSetFactoryfactory()BddSetintersection(BddSet other)default BddSetintersection(BddSet... bddSets)<E> MtBdd<E>intersection(MtBdd<E> tree)booleanisEmpty()booleanisUniverse()Iterator<BitSet>iterator(int support)Returns aIterator<BitSet>-view of this BddSet.default Iterator<BitSet>iterator(BitSet support)Returns aIterator<BitSet>-view of this BddSet.Iterator<BitSet>iterator(ImmutableBitSet support)Returns aIterator<BitSet>-view of this BddSet.default BddSetproject(BitSet quantifiedAtomicPropositions)BddSetproject(ImmutableBitSet quantifiedAtomicPropositions)BddSetrelabel(IntUnaryOperator mapping)BitSetsupport()PropositionalFormula<Integer>toExpression()BddSetunion(BddSet other)default BddSetunion(BddSet... bddSets)
-
-
-
Method Detail
-
factory
BddSetFactory factory()
-
isEmpty
boolean isEmpty()
-
isUniverse
boolean isUniverse()
-
contains
boolean contains(BitSet valuation)
-
containsAll
boolean containsAll(BddSet valuationSet)
-
complement
BddSet complement()
-
project
BddSet project(ImmutableBitSet quantifiedAtomicPropositions)
-
relabel
BddSet relabel(IntUnaryOperator mapping)
-
support
BitSet support()
-
toExpression
PropositionalFormula<Integer> toExpression()
-
iterator
Iterator<BitSet> iterator(int support)
Returns aIterator<BitSet>-view of this BddSet.Since the number of variables is dynamic, an explicit support needs to be given. All returned BitSets are a subset of this support.
- Parameters:
support- the upper-bound for all elements of the returned view.- Returns:
Iterator<BitSet>-view of this BddSet- Throws:
IllegalArgumentException- This method throws an exception if the {@param support} is smaller than the largest element ofsupport().
-
iterator
default Iterator<BitSet> iterator(BitSet support)
Returns aIterator<BitSet>-view of this BddSet.Since the number of variables is dynamic, an explicit support needs to be given. All returned BitSets are a subset of this support.
- Parameters:
support- the upper-bound for all elements of the returned view.- Returns:
Iterator<BitSet>-view of this BddSet- Throws:
IllegalArgumentException- This method throws an exception if the {@param support} does not contain all elements ofsupport().
-
iterator
Iterator<BitSet> iterator(ImmutableBitSet support)
Returns aIterator<BitSet>-view of this BddSet.Since the number of variables is dynamic, an explicit support needs to be given. All returned BitSets are a subset of this support.
- Parameters:
support- the upper-bound for all elements of the returned view.- Returns:
Iterator<BitSet>-view of this BddSet- Throws:
IllegalArgumentException- This method throws an exception if the {@param support} does not contain all elements ofsupport().
-
-