- matrix(Dimensions) - Method in class kodkod.engine.bool.BooleanFactory
-
Returns a BooleanMatrix with the given dimensions and this
as the factory for its non-FALSE components.
- matrix(Dimensions, IntSet, IntSet) - Method in class kodkod.engine.bool.BooleanFactory
-
Returns a BooleanMatrix m with the given dimensions, this
as its factory, and the indices from the set trueIndices initialized
to TRUE.
- max() - Method in class kodkod.util.ints.AbstractIntSet
-
Returns the first element returned by this.iterator(Integer.MAX_VALUE, Integer.MIN_VALUE).
- max() - Method in class kodkod.util.ints.ArrayIntSet
-
Returns the smallest element in this set.
- max() - Method in class kodkod.util.ints.IntBitSet
-
Returns the largest element in this set.
- max() - Method in class kodkod.util.ints.IntRange
-
Returns the right endpoint of this range.
- max() - Method in interface kodkod.util.ints.IntSet
-
Returns the largest element in this set.
- max() - Method in class kodkod.util.ints.IntTreeSet
-
Returns the largest element in this set.
- maxFormula() - Method in class kodkod.engine.bool.BooleanFactory
-
Returns the maximum label of a
formula in
this.components.
- maxVariable() - Method in class kodkod.engine.bool.BooleanFactory
-
Returns the maximum label of a
variable in
this.components.
- maxVariable() - Method in class kodkod.engine.satlab.Clause
-
Returns the largest variable identifier occurring in this.literals.
- merge(IntRange, IntRange) - Static method in class kodkod.util.ints.Ints
-
Returns the smallest IntRange r that contains
both r1 and r2.
- min() - Method in class kodkod.util.ints.AbstractIntSet
-
Returns the first element returned by this.iterator().
- min() - Method in class kodkod.util.ints.ArrayIntSet
-
Returns the largest element in this set.
- min() - Method in class kodkod.util.ints.IntBitSet
-
Returns the smallest element in this set.
- min() - Method in class kodkod.util.ints.IntRange
-
Returns the left endpoint of this range.
- min() - Method in interface kodkod.util.ints.IntSet
-
Returns the smallest element in this set.
- min() - Method in class kodkod.util.ints.IntTreeSet
-
Returns the smallest element in this set.
- minimize(ReductionStrategy) - Method in class kodkod.engine.Proof
-
Minimizes the proof of this.log.formula's unsatisfiability
using the specified proof reduction strategy.
- MiniSat - Static variable in class kodkod.engine.satlab.SATFactory
-
The factory that produces instances of Niklas Eén and Niklas Sörensson's
MiniSat solver.
- MiniSatProver - Static variable in class kodkod.engine.satlab.SATFactory
-
The factory the produces
proof logging
instances of the MiniSat solver.
- minRoots(Formula, Collection<? extends Node>) - Static method in class kodkod.util.nodes.Nodes
-
Returns a minimal subset of
roots of the given formula such that all nodes in the given collection
are reachable from those roots.
- minus(IntExpression) - Method in class kodkod.ast.IntExpression
-
Returns an IntExpression that represents the difference between this and
the given int node.
- minus(Int) - Method in class kodkod.engine.bool.Int
-
Returns an Int that represents the difference between this and the given Int.
- modulo(IntExpression) - Method in class kodkod.ast.IntExpression
-
Returns an IntExpression that represents the remainder of the division
between this and the given int node.
- modulo(Int) - Method in class kodkod.engine.bool.Int
-
Returns an Int that represents the remainder of the division between this and the given Int.
- MultiGate - Class in kodkod.engine.bool
-
A logic gate with two or more inputs; an AND or an OR gate.
- multiplicity() - Method in class kodkod.ast.Decl
-
Returns the multiplicity in this declaration.
- multiplicity() - Method in class kodkod.ast.MultiplicityFormula
-
Returns the mulitplicity of this.
- Multiplicity - Enum in kodkod.ast.operator
-
- MultiplicityFormula - Class in kodkod.ast
-
A multiplicity formula, e.g.
- multiply(IntExpression) - Method in class kodkod.ast.IntExpression
-
Returns an IntExpression that represents the product of this and
the given int node.
- multiply(IntExpression...) - Static method in class kodkod.ast.IntExpression
-
Returns the product of the given int expressions.
- multiply(Collection<? extends IntExpression>) - Static method in class kodkod.ast.IntExpression
-
Returns the product of the given int expressions.
- multiply(Int) - Method in class kodkod.engine.bool.Int
-
Returns an Int that represents the product between this and the given Int.
- multiply(Int...) - Method in class kodkod.engine.bool.Int
-
Returns an Int that represents the product between this and the given Ints.