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

N

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() - Method in enum kodkod.ast.operator.ExprOperator

Returns true if this is an nary operator.

nary() - Method in enum kodkod.ast.operator.FormulaOperator

Returns true if this is an nary operator.

nary() - Method in enum kodkod.ast.operator.IntOperator

Returns true if this is an nary operator.

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.

NaryExpression - Class in kodkod.ast

A relational expression with more than two children, composed with an nary operator.

NaryFormula - Class in kodkod.ast

A formula with more than two children, composed with an nary operator.

NaryIntExpression - Class in kodkod.ast

A int expression with more than two children, composed with an nary operator.

NCEStrategy - Class in kodkod.engine.ucore

Naive Core Extraction is a strategy for generating unsat cores that are minimal at the logic level.

NCEStrategy(TranslationLog) - Constructor for class kodkod.engine.ucore.NCEStrategy

Constructs an NCE strategy that will use the given translation log to relate the cnf clauses back to the logic constraints from which they were generated.

nCopies(int, int) - Static method in class kodkod.util.ints.Ints

Returns an unmodifiable IntArray of length n which contains the given element at each position.

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.AdaptiveRCEStrategy

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.DynamicRCEStrategy

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.ECFPStrategy

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.NCEStrategy

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.RCEStrategy

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.SCEStrategy

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 - Class in kodkod.ast

A node in the abstract syntax tree (DAG).

Node() - Constructor for class kodkod.ast.Node

node() - Method in class kodkod.engine.fol2sat.TranslationRecord

Returns this.node.

node() - Method in class kodkod.util.nodes.AnnotatedNode

Returns this.node.

Nodes - Class in kodkod.util.nodes

Provides utility methods for extracting roots (top-level) conjuncts of Kodkod formulas

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 factory.

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.Incremental

Returns the number of primary variables allocated during translation.

numPrimaryVariables() - Method in class kodkod.engine.fol2sat.Translation

Returns the number of primary variables allocated during translation.

numPrimaryVariables() - Method in class kodkod.engine.fol2sat.Translation.Whole

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