```
public interface BddSet
```
Symbolic representation of a Set<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
`BddSet`	`complement()`
`boolean`	`contains(BitSet valuation)`
`boolean`	`containsAll(BddSet valuationSet)`
`Optional<BitSet>`	`element()`
`BddSetFactory`	`factory()`
`BddSet`	`intersection(BddSet other)`
`default BddSet`	`intersection(BddSet... bddSets)`
`<E> MtBdd<E>`	`intersection(MtBdd<E> tree)`
`boolean`	`isEmpty()`
`boolean`	`isUniverse()`
`Iterator<BitSet>`	`iterator(int support)`	Returns a `Iterator<BitSet>`-view of this BddSet.
`default Iterator<BitSet>`	`iterator(BitSet support)`	Returns a `Iterator<BitSet>`-view of this BddSet.
`Iterator<BitSet>`	`iterator(ImmutableBitSet support)`	Returns a `Iterator<BitSet>`-view of this BddSet.
`default BddSet`	`project(BitSet quantifiedAtomicPropositions)`
`BddSet`	`project(ImmutableBitSet quantifiedAtomicPropositions)`
`BddSet`	`relabel(IntUnaryOperator mapping)`
`BitSet`	`support()`
`PropositionalFormula<Integer>`	`toExpression()`
`BddSet`	`union(BddSet other)`
`default BddSet`	`union(BddSet... bddSets)`

- Method Detail
  - factory
```
BddSetFactory factory()
```
  - isEmpty
```
boolean isEmpty()
```
  - isUniverse
```
boolean isUniverse()
```
  - contains
```
boolean contains(BitSet valuation)
```
  - containsAll
```
boolean containsAll(BddSet valuationSet)
```
  - element
```
Optional<BitSet> element()
```
  - complement
```
BddSet complement()
```
  - union
```
BddSet union(BddSet other)
```
  - union
```
default BddSet union(BddSet... bddSets)
```
  - intersection
```
BddSet intersection(BddSet other)
```
  - intersection
```
default BddSet intersection(BddSet... bddSets)
```
  - intersection
```
<E> MtBdd<E> intersection(MtBdd<E> tree)
```
  - project
```
default BddSet project(BitSet quantifiedAtomicPropositions)
```
  - project
```
BddSet project(ImmutableBitSet quantifiedAtomicPropositions)
```
  - relabel
```
BddSet relabel(IntUnaryOperator mapping)
```
  - support
```
BitSet support()
```
  - toExpression
```
PropositionalFormula<Integer> toExpression()
```
  - iterator
```
Iterator<BitSet> iterator(int support)
```
    Returns a Iterator<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 of support().
  - iterator
```
default Iterator<BitSet> iterator(BitSet support)
```
    Returns a Iterator<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 of support().
  - iterator
```
Iterator<BitSet> iterator(ImmutableBitSet support)
```
    Returns a Iterator<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 of support().

Interface BddSet

Method Summary

Method Detail

factory

isEmpty

isUniverse

contains

containsAll

element

complement

union

union

intersection

intersection

intersection

project

project

relabel

support

toExpression

iterator

iterator

iterator