- Identity - Class in sdd.ope
-
The identity vtree operation, i.e., the vtree operation
that does not modify the vtree.
- Identity() - Constructor for class sdd.ope.Identity
-
- IdentityMap<K> - Class in util
-
- IdentityMap() - Constructor for class util.IdentityMap
-
- insertSubSDDTrees(Set<CanonicalWatched>) - Method in class sdd.SDDConstant
-
- insertSubSDDTrees(Set<CanonicalWatched>) - Method in class sdd.SDDTree
-
Adds all the sub SDD trees (including this one) of this SDD tree to the specified set.
- insertSubSDDTrees(Set<CanonicalWatched>) - Method in class sdd.SDDTreeDisjunction
-
- insertSubSDDTrees(Set<CanonicalWatched>) - Method in class sdd.SDDVariable
-
- IntegerTokenizer - Interface in util
-
An integer tokenizer is a stream of integers.
- isApplicable(Vtree) - Method in class sdd.ope.ChildrenOperation
-
- isApplicable(Vtree) - Method in class sdd.ope.ConsecutiveOperations
-
- isApplicable(Vtree) - Method in class sdd.ope.Identity
-
- isApplicable(Vtree) - Method in class sdd.ope.LeftRotation
-
- isApplicable(Vtree) - Method in class sdd.ope.RightRotation
-
- isApplicable(Vtree) - Method in class sdd.ope.Swap
-
- isApplicable(Vtree) - Method in interface sdd.ope.VtreeOperation
-
Indicates whether this operation is applicable for the specified vtree.
- isApplicable(VtreeOperation, SDD) - Static method in class sdd.ope.VtreeOperations
-
Indicates whether the specified vtree operation is applicable
on the specified SDD.
- isAtLeaf() - Method in class sdd.VtreePath
-
Indicates whether the current position is the leaf.
- isAtRoot() - Method in class sdd.VtreePath
-
Indicates whether the current position is the root.
- isConstant() - Method in class sdd.SDD
-
Indicates whether this SDD represents a constant (true or false).
- isConstant() - Method in class sdd.SDDConstant
-
- isConstant() - Method in class sdd.SDDTree
-
Indicates whether this SDD tree is a constant.
- isConstant() - Method in class sdd.SDDTreeDisjunction
-
- isConstant() - Method in class sdd.SDDVariable
-
- isDisjunction() - Method in class sdd.SDDConstant
-
- isDisjunction() - Method in class sdd.SDDTree
-
Indicates whether this SDD tree is a disjunction.
- isDisjunction() - Method in class sdd.SDDTreeDisjunction
-
- isDisjunction() - Method in class sdd.SDDVariable
-
- isDownLeft() - Method in class sdd.VtreePath
-
Indicates whether the next step is on the left or on the right.
- isEmpty() - Method in class sdd.Singleton
-
- isFalse() - Method in class sdd.SDDConstant
-
- isFalse() - Method in class sdd.SDDTree
-
Indicates whether this SDD tree is the false constant.
- isFalse() - Method in class sdd.SDDTreeDisjunction
-
- isFalse() - Method in class sdd.SDDVariable
-
- isFinished() - Method in class util.DimacsTokenizer
-
- isFinished() - Method in interface util.IntegerTokenizer
-
Indicates whether the end of the tokenizer is reached.
- isLeaf() - Method in class sdd.Vtree
-
Indicates whether this vtree is a leaf.
- isLeaf() - Method in class sdd.VtreeLeaf
-
- isLeaf() - Method in class sdd.VtreeNode
-
- isLiteral() - Method in class sdd.SDDConstant
-
- isLiteral() - Method in class sdd.SDDTree
-
Indicates whether this SDD tree is a literal.
- isLiteral() - Method in class sdd.SDDTreeDisjunction
-
- isLiteral() - Method in class sdd.SDDVariable
-
- isNot(String) - Method in class sdd.SDDTree
-
Throws an error saying that this object is not of specified type.
- isSat() - Method in class sdd.SDD
-
Indicates whether this SDD is satisfiable,
i.e., whether it is different from false.
- isTrue() - Method in class sdd.SDDTree
-
Indicates whether this SDD tree is the true constant.
- isValid() - Method in class sdd.SDD
-
Indicates whether this SDD is valid,
i.e., whether it is equivalent to true.
- iterator() - Method in class sdd.Singleton
-