Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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