- NameGenerator - Interface in util
-
A name generator is an object that generate String names
that are guaranteed to be all different.
- nbDisjuncts() - Method in class sdd.SDDTreeDisjunction
-
Returns the number of disjuncts of this disjunction.
- nbModels() - Method in class sdd.SDD
-
Returns the number of models of this SDD.
- nbModels(Vtree, Map<SDDTreeDisjunction, BigInteger>) - Method in class sdd.SDDConstant
-
- nbModels(Vtree, Map<SDDTreeDisjunction, BigInteger>) - Method in class sdd.SDDTree
-
Returns the number of models of this SDD tree.
- nbModels(Vtree, Map<SDDTreeDisjunction, BigInteger>) - Method in class sdd.SDDTreeDisjunction
-
- nbModels(Vtree, Map<SDDTreeDisjunction, BigInteger>) - Method in class sdd.SDDVariable
-
- neg() - Method in class sdd.SDD
-
Returns the SDD corresponding to the NOT operation
on this SDD.
- negativeLiteralValue(Variable) - Method in interface sdd.SDDFunction
-
Returns the value associated with the negative literal
of the specified variable.
- negativeLiteralValue(Variable) - Method in class sdd.SDDProbabilityFunction
-
- newPair(C1, C2) - Static method in class util.Pair
-
Static constructor.
- nextToken() - Method in class util.DimacsTokenizer
-
- nextToken() - Method in interface util.IntegerTokenizer
-
Returns the next integer in the tokenizer.
- noChange(OptimisationProblem) - Static method in class sdd.opt.OptimisationReport
-
- not(SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Returns the result of the NOT operation
on the specified SDDTreeDisjunction
if this result is known, null otherwise.
- not(SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-
Computes the negation of the specified SDD tree.
- not() - Method in class sdd.SDDVariable
-
Returns the negation of this literal.
- NumberedNameGenerator - Class in util
-
A numbered name generator is a name generator
that generates names of the type "Xx"
where "X" is a fixed (specified) prefix
and "x" is a counter.
- NumberedNameGenerator(String) - Constructor for class util.NumberedNameGenerator
-
Builds a numbered name generator with the specified prefix.