- <init>
Creates a dependency set with no dependency and single explanation atom
- add
Add the integer value b to this DependencySet.
- cache
Return a dummy representation of this DependencySet such that
this.isIndependent() == this.copyForC
- contains
- copy
- getBranch
- getDepends
- getExplain
- isIndependent
- max
- remove
Remove the integer value b from this DependencySet.
- removeExplain
Remove explanation sets which contain references to a syntactic assertion