All Classes and Interfaces
Class
Description
The sum of two
Expressions.Enforces that the possible values of a given
Expression are within the given range.Performs a brute force search.
A collection of constraints and variables that represent a problem domain.
A rule that restricts the numeric values that can be used to solve a problem.
Indicates the outcome of attempting to satisfy a constraint.
The result of dividing one
Expression by another.Enforces that two
Expressions have the same value.Represents something that can have a range of numeric values.
Indicates the outcome of attempting to restrict the possible values of an expression.
Represents a single immutable number.
Enforces that the value of one
Expression is less than another.Enforces that the value of one
Expression is less than or equal to another.Contains methods for performing basic numeric operations which handle overflow errors by rounding down to
java.lang.Long.MAX_VALUE or up to java.lang.Long.MIN_VALUE.The product of two
Expressions.Enforces that two
Expressions do not have the same value.A set of
long primitives.Used to iterate over a range of possible values.
The difference of two
Expressions.An expression that can have one or more possible numeric values.
Represents the possible values for a variable.
Indicates the outcome of attempting to restrict the possible values of a variable.