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.