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.

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