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
O
one()
- Method in class kodkod.ast.
Expression
Returns the formula 'one this'.
one()
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns a BooleanValue that constraints exactly one value in this.elements to be true.
oneOf(Expression)
- Method in class kodkod.ast.
Variable
Returns the declaration that constrains this variable to be bound to exactly one element of the given expression: 'this: one expr'.
op()
- Method in class kodkod.ast.
BinaryExpression
Returns the operator of this.
op()
- Method in class kodkod.ast.
BinaryFormula
Returns the operator of this.
op()
- Method in class kodkod.ast.
BinaryIntExpression
Returns the operator of this.
op()
- Method in class kodkod.ast.
ComparisonFormula
Returns the operator of this.
op()
- Method in class kodkod.ast.
ExprToIntCast
Returns this.op.
op()
- Method in class kodkod.ast.
IntComparisonFormula
Returns the operator of this.
op()
- Method in class kodkod.ast.
UnaryExpression
Returns this.op.
op()
- Method in class kodkod.ast.
UnaryIntExpression
Returns the operator of this.
op()
- Method in class kodkod.engine.bool.
BooleanAccumulator
Returns the operator for this accumulator.
op()
- Method in class kodkod.engine.bool.
BooleanConstant
Returns Operator.CONST.
op()
- Method in class kodkod.engine.bool.
BooleanValue
Returns the operator representing the function computed by this gate.
op()
- Method in class kodkod.engine.bool.
BooleanVariable
Returns the VAR operator.
op()
- Method in class kodkod.engine.bool.
ITEGate
Returns Operator.ITE.
op()
- Method in class kodkod.engine.bool.
MultiGate
Returns the operator used to combine the input variables of this connective gate.
op()
- Method in class kodkod.engine.bool.
NotGate
Returns Operator.NOT.
Operator
- Class in
kodkod.engine.bool
Operator associated with a
boolean value
.
Operator.Nary
- Class in
kodkod.engine.bool
An n-ary operator, where n>=2
optimizingBounds()
- Method in class kodkod.engine.config.
AbstractReporter
optimizingBounds()
- Method in class kodkod.engine.config.
ConsoleReporter
optimizingBounds()
- Method in interface kodkod.engine.config.
Reporter
Reports that bounds optimization is in progress (stage 1).
optimizingFormula()
- Method in class kodkod.engine.config.
AbstractReporter
optimizingFormula()
- Method in class kodkod.engine.config.
ConsoleReporter
Reports that formula optimization is in progress (stage 2).
optimizingFormula()
- Method in interface kodkod.engine.config.
Reporter
Reports that formula optimization is in progress (stage 2).
Options
- Class in
kodkod.engine.config
Stores information about various user-level translation and analysis options.
Options()
- Constructor for class kodkod.engine.config.
Options
Constructs an Options object initalized with default values.
Options(SATFactory)
- Constructor for class kodkod.engine.config.
Options
Constructs an Options object using the given value for the solver option and default values for other options.
options()
- Method in class kodkod.engine.
Evaluator
Returns the Options object used by this evaluator.
options()
- Method in class kodkod.engine.
Solver
Returns the Options object used by this Solver to guide translation of formulas from first-order logic to cnf.
Options.IntEncoding
- Enum in
kodkod.engine.config
Integer encoding options for the translation of
int expressions
.
or(Formula)
- Method in class kodkod.ast.
Formula
Returns the conjunction of this and the specified formula.
or(IntExpression)
- Method in class kodkod.ast.
IntExpression
Returns an IntExpression that represents the bitwise OR of this and the given int node.
or(BooleanValue, BooleanValue)
- Method in class kodkod.engine.bool.
BooleanFactory
Returns a boolean value whose meaning is the disjunction of the input components.
or(BooleanMatrix)
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns a new matrix such that an entry in the returned matrix represents a combination of the corresponding entries in this and other matrix.
or(Int)
- Method in class kodkod.engine.bool.
Int
Returns an Int that represents the bitwise disjunction of this and the given Int.
OR
- Static variable in class kodkod.engine.bool.
Operator
N-ary
OR
operator.
ordered()
- Method in class kodkod.ast.
RelationPredicate.TotalOrdering
Returns the relation representing the atoms which are ordered by this.relation.
ordinal()
- Method in class kodkod.engine.bool.
Operator
Returns the ordinal of this operator constant.
outcome()
- Method in class kodkod.engine.
Solution
Returns the outcome of the attempt to find a model for this.formula.
override(Expression)
- Method in class kodkod.ast.
Expression
Returns the relational override of this with the specified expression.
override(BooleanMatrix)
- Method in class kodkod.engine.bool.
BooleanMatrix
Overrides the values in this matrix with those in
other
.
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