A B C D E F G H I J K L M N O P Q R S T U V W X Z

N

NaiveStrategy - Class in kodkod.engine.ucore
A naive minimization strategy that tests the presence of each clause in the core by simply re-solving {core} - {clause}.
NaiveStrategy() - Constructor for class kodkod.engine.ucore.NaiveStrategy
Constructs a new instance of NaiveStrategy.
name() - Method in class kodkod.ast.LeafExpression
Returns the name of this leaf.
name() - Method in class kodkod.ast.RelationPredicate.Acyclic
Returns the name of this predicate.
name() - Method in class kodkod.ast.RelationPredicate.Function
Returns the name of this predicate.
name() - Method in class kodkod.ast.RelationPredicate
Returns the name of this predicate.
name() - Method in class kodkod.ast.RelationPredicate.TotalOrdering
Returns the name of this predicate.
nary(String, int) - Static method in class kodkod.ast.Relation
Returns a new relation with the given name and arity.
nary(String, int) - Static method in class kodkod.ast.Variable
Returns a new variable with the specified name and arity.
nativesolver - package nativesolver
 
negate() - Method in class kodkod.ast.IntExpression
Returns an IntExpression that represents the negation of this int expression.
negate() - Method in class kodkod.engine.bool.Int
Returns an Int that represents the negation of this integer.
next(ResolutionTrace) - Method in interface kodkod.engine.satlab.ReductionStrategy
Returns the next subtrace of the specified trace to be analyzed, given as a set of indices into the trace.
next(ResolutionTrace) - Method in class kodkod.engine.ucore.CRRStrategy
Returns the next subset of clauses in the given trace to be analyzed.
next(ResolutionTrace) - Method in class kodkod.engine.ucore.EmptyClauseConeStrategy
Returns the next subtrace of the specified trace to be analyzed, given as a set of indices into the trace.
next(ResolutionTrace) - Method in class kodkod.engine.ucore.HybridStrategy
Returns the next subtrace of the specified trace to be analyzed, given as a set of indices into the trace.
next(ResolutionTrace) - Method in class kodkod.engine.ucore.MinTopStrategy
Returns the next subtrace of the specified trace to be analyzed, given as a set of indices into the trace.
next(ResolutionTrace) - Method in class kodkod.engine.ucore.NaiveStrategy
Returns the next subtrace of the specified trace to be analyzed, given as a set of indices into the trace.
next() - Method in interface kodkod.util.ints.IntIterator
Returns the next int in the iteration, if any.
no() - Method in class kodkod.ast.Expression
Returns the formula 'no this'.
Node - Interface in kodkod.ast
A node in the abstract syntax tree (DAG).
node() - Method in class kodkod.engine.fol2sat.TranslationRecord
Returns this.node.
NONE - Static variable in class kodkod.ast.Expression
The empty relation: contains no atoms.
none() - Method in class kodkod.engine.bool.BooleanMatrix
Returns a BooleanValue that constraints all values in this.elements to be false.
noneOf(int) - Method in class kodkod.instance.TupleFactory
Returns an initially empty tuple set of the given arity, based on this.universe.
not() - Method in class kodkod.ast.Formula
Returns the negation of this formula.
not() - Method in class kodkod.ast.IntExpression
Returns an IntExpression that represents the bitwise negation of this int expression.
not(BooleanValue) - Method in class kodkod.engine.bool.BooleanFactory
Returns the negation of the given boolean value.
not() - Method in class kodkod.engine.bool.BooleanMatrix
Returns a new matrix each of whose entries is a negation of the corresponding entry in this matrix.
not() - Method in class kodkod.engine.bool.Int
Returns an Int that represents bitwise negation of this integer.
NOT - Static variable in class kodkod.engine.bool.Operator
Unary negation operator.
NotFormula - Class in kodkod.ast
Negation of a formula.
NotGate - Class in kodkod.engine.bool
A logic NOT gate.
numberOfAntecedents() - Method in class kodkod.engine.satlab.Clause
Returns the number of antecedents of this clause.
numberOfClauses() - Method in interface kodkod.engine.satlab.SATSolver
Returns the number of clauses in this solver.
numberOfVariables() - Method in class kodkod.engine.bool.BooleanFactory
Returns the number of variables in this.components
numberOfVariables() - Method in interface kodkod.engine.satlab.SATSolver
Returns the size of this solver's vocabulary.
numDimensions() - Method in class kodkod.engine.bool.Dimensions
Returns the number of dimensions in this Dimensions object.
numPrimaryVariables() - Method in class kodkod.engine.fol2sat.Translation
Returns the number of primary variables allocated during translation.

A B C D E F G H I J K L M N O P Q R S T U V W X Z