A B C D E F G H I L M N O P R S T U V W X
All Classes All Packages

A

Absolute - Class in org.projog.clp.math

Absolute(Expression) - Constructor for class org.projog.clp.math.Absolute

Add - Class in org.projog.clp.math

The sum of two Expressions.

Add(Expression, Expression) - Constructor for class org.projog.clp.math.Add

addConstraint(Constraint) - Method in class org.projog.clp.ClpConstraintStore.Builder

and(VariableState, VariableState) - Static method in class org.projog.clp.VariableState

Return the result of performing a logical "and" on the two given VariableStates.

And - Class in org.projog.clp.bool

And(Constraint, Constraint) - Constructor for class org.projog.clp.bool.And

B

between(long, long) - Method in class org.projog.clp.ClpConstraintStore.Enforce

between(long, long) - Method in class org.projog.clp.ClpConstraintStore.EnforceAll

Between - Class in org.projog.clp.compare

Enforces that the possible values of a given Expression are within the given range.

Between(Expression, long, long) - Constructor for class org.projog.clp.compare.Between

Enforces that the possible values of the given Expression are within the given range (inclusive).

bitset - Variable in class org.projog.clp.NumberSet

bitset - Variable in class org.projog.clp.Possibilities

bitset - Variable in class org.projog.clp.VariableState

The set of all possible values for this VariableState.

BruteForceSearch - Class in org.projog.clp

Performs a brute force search.

BruteForceSearch(ClpConstraintStore) - Constructor for class org.projog.clp.BruteForceSearch

build() - Method in class org.projog.clp.ClpConstraintStore.Builder

builder - Variable in class org.projog.clp.ClpConstraintStore.Enforce

builder - Variable in class org.projog.clp.ClpConstraintStore.EnforceAll

Builder() - Constructor for class org.projog.clp.ClpConstraintStore.Builder

C

calcLeftMax(long, long) - Static method in class org.projog.clp.math.Divide

calcRightMax(long, long) - Static method in class org.projog.clp.math.Divide

calcRightMin(long, long) - Static method in class org.projog.clp.math.Divide

cardinality() - Method in class org.projog.clp.NumberSet

Returns the count of values set in this NumberSet.

clear(long) - Method in class org.projog.clp.NumberSet

Unsets (i.e.

clear(long, long) - Method in class org.projog.clp.NumberSet

Unsets all values between the given fromValue (inclusive) and toValue (inclusive).

ClpConstraintStore - Class in org.projog.clp

A collection of constraints and variables that represent a problem domain.

ClpConstraintStore(ClpConstraintStore) - Constructor for class org.projog.clp.ClpConstraintStore

ClpConstraintStore(ClpConstraintStore.Builder) - Constructor for class org.projog.clp.ClpConstraintStore

ClpConstraintStore.Builder - Class in org.projog.clp

ClpConstraintStore.Enforce - Class in org.projog.clp

ClpConstraintStore.EnforceAll - Class in org.projog.clp

constraint - Variable in class org.projog.clp.bool.Not

Constraint - Interface in org.projog.clp

A rule that restricts the numeric values that can be used to solve a problem.

constraintCtr - Variable in class org.projog.clp.ClpConstraintStore

constraintQueue - Variable in class org.projog.clp.ClpConstraintStore

ConstraintResult - Enum in org.projog.clp

Indicates the outcome of attempting to satisfy a constraint.

ConstraintResult() - Constructor for enum org.projog.clp.ConstraintResult

constraints - Variable in class org.projog.clp.ClpConstraintStore.Builder

constraints - Variable in class org.projog.clp.ClpConstraintStore

constraintsByVariable - Variable in class org.projog.clp.ClpConstraintStore.Builder

constraintsByVariable - Variable in class org.projog.clp.ClpConstraintStore

ConstraintStore - Interface in org.projog.clp

copies - Variable in class org.projog.clp.BruteForceSearch

copy() - Method in class org.projog.clp.ClpConstraintStore

copy() - Method in class org.projog.clp.NumberSet

Returns a new copy of this NumberSet.

copy() - Method in class org.projog.clp.VariableState

CORRUPT - Static variable in class org.projog.clp.VariableState

Used to indicate a VariableState has become corrupt.

count() - Method in class org.projog.clp.VariableState

createVariable() - Method in class org.projog.clp.ClpConstraintStore.Builder

D

distinct() - Method in class org.projog.clp.ClpConstraintStore.EnforceAll

Divide - Class in org.projog.clp.math

The result of dividing one Expression by another.

Divide(Expression, Expression) - Constructor for class org.projog.clp.math.Divide

divideRoundDown(long, long) - Static method in class org.projog.clp.math.Multiply

divideWhole(long, long) - Static method in class org.projog.clp.math.Multiply

E

e - Variable in class org.projog.clp.compare.Between

e - Variable in class org.projog.clp.math.Absolute

e - Variable in class org.projog.clp.math.Minus

enforce(long) - Method in class org.projog.clp.ClpConstraintStore.Builder

enforce(List<Variable>) - Method in class org.projog.clp.ClpConstraintStore.Builder

enforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.And

enforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Equivalent

enforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Nand

enforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Nor

enforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Or

enforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Xor

enforce(ConstraintStore) - Method in class org.projog.clp.bool.And

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Equivalent

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Implication

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Nand

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Nor

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Not

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Or

enforce(ConstraintStore) - Method in class org.projog.clp.bool.Xor

enforce(ConstraintStore) - Method in class org.projog.clp.compare.Between

enforce(ConstraintStore) - Method in class org.projog.clp.compare.EqualTo

enforce(ConstraintStore) - Method in class org.projog.clp.compare.LessThan

enforce(ConstraintStore) - Method in class org.projog.clp.compare.LessThanOrEqualTo

enforce(ConstraintStore) - Method in class org.projog.clp.compare.NotEqualTo

enforce(ConstraintStore) - Method in interface org.projog.clp.Constraint

Attempts to enforce this constraint using the given ConstraintStore.

enforce(ConstraintStore) - Method in class org.projog.clp.FixedValue

enforce(ConstraintStore) - Method in class org.projog.clp.Variable

enforce(Expression) - Method in class org.projog.clp.ClpConstraintStore.Builder

enforce(Expression, Expression, ConstraintStore) - Static method in class org.projog.clp.compare.EqualTo

enforce(Expression, Expression, ConstraintStore) - Static method in class org.projog.clp.compare.LessThan

enforce(Expression, Expression, ConstraintStore) - Static method in class org.projog.clp.compare.LessThanOrEqualTo

enforce(Expression, Expression, ConstraintStore) - Static method in class org.projog.clp.compare.NotEqualTo

enforce(Variable...) - Method in class org.projog.clp.ClpConstraintStore.Builder

Enforce(ClpConstraintStore.Builder, Expression) - Constructor for class org.projog.clp.ClpConstraintStore.Enforce

EnforceAll(ClpConstraintStore.Builder, Variable[]) - Constructor for class org.projog.clp.ClpConstraintStore.EnforceAll

equals(Object) - Method in class org.projog.clp.ClpConstraintStore.Builder

Deprecated.

equals(Object) - Method in class org.projog.clp.ClpConstraintStore.Enforce

Deprecated.

equals(Object) - Method in class org.projog.clp.ClpConstraintStore.EnforceAll

Deprecated.

equals(Object) - Method in class org.projog.clp.NumberSet

equalTo(Expression) - Method in class org.projog.clp.ClpConstraintStore.Enforce

EqualTo - Class in org.projog.clp.compare

Enforces that two Expressions have the same value.

EqualTo(Expression, Expression) - Constructor for class org.projog.clp.compare.EqualTo

Equivalent - Class in org.projog.clp.bool

Equivalent(Constraint, Constraint) - Constructor for class org.projog.clp.bool.Equivalent

equivalentTo(Constraint) - Method in class org.projog.clp.ClpConstraintStore.Enforce

expression - Variable in class org.projog.clp.ClpConstraintStore.Enforce

Expression - Interface in org.projog.clp

Represents something that can have a range of numeric values.

ExpressionResult - Enum in org.projog.clp

Indicates the outcome of attempting to restrict the possible values of an expression.

ExpressionResult() - Constructor for enum org.projog.clp.ExpressionResult

F

fail() - Method in class org.projog.clp.VariableState

FAILED - org.projog.clp.ConstraintResult

The constraint cannot be satisfied - it has been proven to be false.

FAILED - org.projog.clp.VariableStateResult

Applying the restriction would leave the variable with no possible values.

FALSE - Static variable in class org.projog.clp.FixedValue

FALSE - Static variable in class org.projog.clp.Variable

FixedValue - Class in org.projog.clp

Represents a single immutable number.

FixedValue(long) - Constructor for class org.projog.clp.FixedValue

G

get(long) - Method in class org.projog.clp.NumberSet

Returns true if the given value is set, else false.

getCurrent() - Method in class org.projog.clp.BruteForceSearch

getExpression(Expression) - Method in class org.projog.clp.ClpConstraintStore

getId() - Method in class org.projog.clp.Variable

getMax() - Method in class org.projog.clp.VariableState

getMax(Expression) - Method in class org.projog.clp.ClpConstraintStore

getMax(Expression) - Method in interface org.projog.clp.ReadConstraintStore

getMax(ReadConstraintStore) - Method in interface org.projog.clp.Constraint

getMax(ReadConstraintStore) - Method in interface org.projog.clp.Expression

getMax(ReadConstraintStore) - Method in class org.projog.clp.FixedValue

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Absolute

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Add

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Divide

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Maximum

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Minimum

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Minus

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Multiply

getMax(ReadConstraintStore) - Method in class org.projog.clp.math.Subtract

getMax(ReadConstraintStore) - Method in class org.projog.clp.Variable

getMin() - Method in class org.projog.clp.VariableState

getMin(Expression) - Method in class org.projog.clp.ClpConstraintStore

getMin(Expression) - Method in interface org.projog.clp.ReadConstraintStore

getMin(ReadConstraintStore) - Method in interface org.projog.clp.Constraint

getMin(ReadConstraintStore) - Method in interface org.projog.clp.Expression

getMin(ReadConstraintStore) - Method in class org.projog.clp.FixedValue

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Absolute

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Add

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Divide

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Maximum

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Minimum

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Minus

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Multiply

getMin(ReadConstraintStore) - Method in class org.projog.clp.math.Subtract

getMin(ReadConstraintStore) - Method in class org.projog.clp.Variable

getPossibilities() - Method in class org.projog.clp.VariableState

getValue(Variable) - Method in class org.projog.clp.ClpConstraintStore

getVariable(int) - Method in class org.projog.clp.ClpConstraintStore

getVariablesCount() - Method in class org.projog.clp.ClpConstraintStore

getVariableState(int) - Method in class org.projog.clp.ClpConstraintStore

H

hashCode() - Method in class org.projog.clp.NumberSet

hasNext() - Method in class org.projog.clp.Possibilities

I

id - Variable in class org.projog.clp.Variable

idx - Variable in class org.projog.clp.BruteForceSearch

Implication - Class in org.projog.clp.bool

Implication(Constraint, Constraint) - Constructor for class org.projog.clp.bool.Implication

indexes - Variable in class org.projog.clp.BruteForceSearch

internalEnforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Equivalent

internalEnforce(Constraint, Constraint, ConstraintStore) - Static method in class org.projog.clp.bool.Xor

INVALID - org.projog.clp.ExpressionResult

Applying the restriction would leave the expression with no possible values.

isCorrupt() - Method in class org.projog.clp.VariableState

isSingleValue() - Method in class org.projog.clp.VariableState

L

LeafExpression - Interface in org.projog.clp

left - Variable in class org.projog.clp.bool.And

left - Variable in class org.projog.clp.bool.Equivalent

left - Variable in class org.projog.clp.bool.Implication

left - Variable in class org.projog.clp.bool.Nand

left - Variable in class org.projog.clp.bool.Nor

left - Variable in class org.projog.clp.bool.Or

left - Variable in class org.projog.clp.bool.Xor

left - Variable in class org.projog.clp.compare.EqualTo

left - Variable in class org.projog.clp.compare.LessThan

left - Variable in class org.projog.clp.compare.LessThanOrEqualTo

left - Variable in class org.projog.clp.compare.NotEqualTo

left - Variable in class org.projog.clp.math.Add

left - Variable in class org.projog.clp.math.Divide

The dividend.

left - Variable in class org.projog.clp.math.Maximum

left - Variable in class org.projog.clp.math.Minimum

left - Variable in class org.projog.clp.math.Multiply

left - Variable in class org.projog.clp.math.Subtract

lessThan(Expression) - Method in class org.projog.clp.ClpConstraintStore.Enforce

LessThan - Class in org.projog.clp.compare

Enforces that the value of one Expression is less than another.

LessThan(Expression, Expression) - Constructor for class org.projog.clp.compare.LessThan

Enforces that the value of left is less than the value of right.

lessThanOrEqualTo(Expression) - Method in class org.projog.clp.ClpConstraintStore.Enforce

LessThanOrEqualTo - Class in org.projog.clp.compare

Enforces that the value of one Expression is less than or equal to another.

LessThanOrEqualTo(Expression, Expression) - Constructor for class org.projog.clp.compare.LessThanOrEqualTo

Enforces that the value of left is less than or equal to the value of right.

M

MATCHED - org.projog.clp.ConstraintResult

The constraint was satisfied - it has been proven to be true.

MathUtils - Class in org.projog.clp.math

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.

MathUtils() - Constructor for class org.projog.clp.math.MathUtils

max - Variable in class org.projog.clp.compare.Between

max - Variable in class org.projog.clp.Possibilities

max - Variable in class org.projog.clp.VariableState

The maximum possible value for this VariableState.

max(VariableState, VariableState) - Static method in class org.projog.clp.VariableState

Maximum - Class in org.projog.clp.math

Maximum(Expression, Expression) - Constructor for class org.projog.clp.math.Maximum

min - Variable in class org.projog.clp.compare.Between

min - Variable in class org.projog.clp.Possibilities

min - Variable in class org.projog.clp.VariableState

The minimum possible value for this VariableState.

min(VariableState, VariableState) - Static method in class org.projog.clp.VariableState

Minimum - Class in org.projog.clp.math

Minimum(Expression, Expression) - Constructor for class org.projog.clp.math.Minimum

Minus - Class in org.projog.clp.math

Minus(Expression) - Constructor for class org.projog.clp.math.Minus

Multiply - Class in org.projog.clp.math

The product of two Expressions.

Multiply(Expression, Expression) - Constructor for class org.projog.clp.math.Multiply

N

Nand - Class in org.projog.clp.bool

Nand(Constraint, Constraint) - Constructor for class org.projog.clp.bool.Nand

next - Variable in class org.projog.clp.Possibilities

next() - Method in class org.projog.clp.BruteForceSearch

Finds a valid solution.

next() - Method in class org.projog.clp.Possibilities

nextSetValue(long) - Method in class org.projog.clp.NumberSet

Returns the value that occurs on or after the specified value.

NO_CHANGE - org.projog.clp.VariableStateResult

The variable already conformed to the restriction.

Nor - Class in org.projog.clp.bool

Nor(Constraint, Constraint) - Constructor for class org.projog.clp.bool.Nor

Not - Class in org.projog.clp.bool

Not(Constraint) - Constructor for class org.projog.clp.bool.Not

notEqualTo(long) - Method in class org.projog.clp.ClpConstraintStore.EnforceAll

notEqualTo(Expression) - Method in class org.projog.clp.ClpConstraintStore.Enforce

notEqualTo(Expression) - Method in class org.projog.clp.ClpConstraintStore.EnforceAll

NotEqualTo - Class in org.projog.clp.compare

Enforces that two Expressions do not have the same value.

NotEqualTo(Expression, Expression) - Constructor for class org.projog.clp.compare.NotEqualTo

NumberSet - Class in org.projog.clp

A set of long primitives.

NumberSet(long, long) - Constructor for class org.projog.clp.NumberSet

Constructs a new NumberSet containing all values within the specified range (inclusive).

NumberSet(long, BitSet) - Constructor for class org.projog.clp.NumberSet

O

Or - Class in org.projog.clp.bool

Or(Constraint, Constraint) - Constructor for class org.projog.clp.bool.Or

org.projog.clp - package org.projog.clp

A constraint logic programming library for finite domains.

org.projog.clp.bool - package org.projog.clp.bool

Contains boolean constraints.

org.projog.clp.compare - package org.projog.clp.compare

Contains constraints which compare numeric values represented by instances of Expression.

org.projog.clp.math - package org.projog.clp.math

Contains classes that perform arithmetic operators using instances of Expression.

original - Variable in class org.projog.clp.BruteForceSearch

P

p - Variable in class org.projog.clp.BruteForceSearch

Possibilities - Class in org.projog.clp

Used to iterate over a range of possible values.

Possibilities(long, long, NumberSet) - Constructor for class org.projog.clp.Possibilities

prevent(ConstraintStore) - Method in class org.projog.clp.bool.And

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Equivalent

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Implication

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Nand

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Nor

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Not

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Or

prevent(ConstraintStore) - Method in class org.projog.clp.bool.Xor

prevent(ConstraintStore) - Method in class org.projog.clp.compare.Between

prevent(ConstraintStore) - Method in class org.projog.clp.compare.EqualTo

prevent(ConstraintStore) - Method in class org.projog.clp.compare.LessThan

prevent(ConstraintStore) - Method in class org.projog.clp.compare.LessThanOrEqualTo

prevent(ConstraintStore) - Method in class org.projog.clp.compare.NotEqualTo

prevent(ConstraintStore) - Method in interface org.projog.clp.Constraint

Attempts to prevent this constraint using the given ConstraintStore.

prevent(ConstraintStore) - Method in class org.projog.clp.FixedValue

prevent(ConstraintStore) - Method in class org.projog.clp.Variable

previousSetValue(long) - Method in class org.projog.clp.NumberSet

Returns the value that occurs on or before the specified value.

R

ReadConstraintStore - Interface in org.projog.clp

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.And

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Equivalent

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Implication

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Nand

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Nor

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Not

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Or

reify(ReadConstraintStore) - Method in class org.projog.clp.bool.Xor

reify(ReadConstraintStore) - Method in class org.projog.clp.compare.Between

reify(ReadConstraintStore) - Method in class org.projog.clp.compare.EqualTo

reify(ReadConstraintStore) - Method in class org.projog.clp.compare.LessThan

reify(ReadConstraintStore) - Method in class org.projog.clp.compare.LessThanOrEqualTo

reify(ReadConstraintStore) - Method in class org.projog.clp.compare.NotEqualTo

reify(ReadConstraintStore) - Method in interface org.projog.clp.Constraint

reify(ReadConstraintStore) - Method in class org.projog.clp.FixedValue

reify(ReadConstraintStore) - Method in class org.projog.clp.Variable

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.And

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Equivalent

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Implication

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Nand

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Nor

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Not

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Or

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.bool.Xor

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.compare.Between

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.compare.EqualTo

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.compare.LessThan

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.compare.LessThanOrEqualTo

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.compare.NotEqualTo

replace(Function<LeafExpression, LeafExpression>) - Method in interface org.projog.clp.Constraint

Returns new Constraint with LeafExpressions in this Constraint replaced with values returned from the given function.

replace(Function<LeafExpression, LeafExpression>) - Method in interface org.projog.clp.Expression

Returns a Expression with LeafExpressions in this Expression replaced with values returned from the given function.

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.FixedValue

replace(Function<LeafExpression, LeafExpression>) - Method in interface org.projog.clp.LeafExpression

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Absolute

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Add

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Divide

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Maximum

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Minimum

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Minus

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Multiply

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.math.Subtract

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.clp.Variable

resolve() - Method in class org.projog.clp.ClpConstraintStore

right - Variable in class org.projog.clp.bool.And

right - Variable in class org.projog.clp.bool.Equivalent

right - Variable in class org.projog.clp.bool.Implication

right - Variable in class org.projog.clp.bool.Nand

right - Variable in class org.projog.clp.bool.Nor

right - Variable in class org.projog.clp.bool.Or

right - Variable in class org.projog.clp.bool.Xor

right - Variable in class org.projog.clp.compare.EqualTo

right - Variable in class org.projog.clp.compare.LessThan

right - Variable in class org.projog.clp.compare.LessThanOrEqualTo

right - Variable in class org.projog.clp.compare.NotEqualTo

right - Variable in class org.projog.clp.math.Add

right - Variable in class org.projog.clp.math.Divide

The divisor.

right - Variable in class org.projog.clp.math.Maximum

right - Variable in class org.projog.clp.math.Minimum

right - Variable in class org.projog.clp.math.Multiply

right - Variable in class org.projog.clp.math.Subtract

S

safeAbs(long) - Static method in class org.projog.clp.math.MathUtils

Returns the absolute value of a long value.

safeAdd(long, long) - Static method in class org.projog.clp.math.MathUtils

Returns the sum of the arguments, rounding up or down if the result overflows a long.

safeDivide(long, long) - Static method in class org.projog.clp.math.MathUtils

Returns the result of dividing the first argument by the second, rounding down if the result overflows a long.

safeMinus(long) - Static method in class org.projog.clp.math.MathUtils

safeMultiply(long, long) - Static method in class org.projog.clp.math.MathUtils

Returns the product of the arguments, rounding up or down if the result overflows a long.

safeSubtract(long, long) - Static method in class org.projog.clp.math.MathUtils

Returns the difference of the arguments, rounding up or down if the result overflows a long.

setMax(long) - Method in class org.projog.clp.VariableState

setMax(ConstraintStore, long) - Method in interface org.projog.clp.Constraint

setMax(ConstraintStore, long) - Method in interface org.projog.clp.Expression

setMax(ConstraintStore, long) - Method in class org.projog.clp.FixedValue

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Absolute

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Add

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Divide

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Maximum

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Minimum

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Minus

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Multiply

setMax(ConstraintStore, long) - Method in class org.projog.clp.math.Subtract

setMax(ConstraintStore, long) - Method in class org.projog.clp.Variable

setMax(ConstraintStore, Expression, long, long, long, long, BiFunction<Long, Long, Long>) - Static method in class org.projog.clp.math.Multiply

setMax(Expression, long) - Method in class org.projog.clp.ClpConstraintStore

setMax(Expression, long) - Method in interface org.projog.clp.ConstraintStore

setMin(long) - Method in class org.projog.clp.VariableState

setMin(ConstraintStore, long) - Method in interface org.projog.clp.Constraint

setMin(ConstraintStore, long) - Method in interface org.projog.clp.Expression

setMin(ConstraintStore, long) - Method in class org.projog.clp.FixedValue

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Absolute

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Add

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Divide

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Maximum

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Minimum

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Minus

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Multiply

setMin(ConstraintStore, long) - Method in class org.projog.clp.math.Subtract

setMin(ConstraintStore, long) - Method in class org.projog.clp.Variable

setMin(ConstraintStore, Expression, long, long, long, long, BiFunction<Long, Long, Long>) - Static method in class org.projog.clp.math.Multiply

setMin(Expression, long) - Method in class org.projog.clp.ClpConstraintStore

setMin(Expression, long) - Method in interface org.projog.clp.ConstraintStore

setNot(long) - Method in class org.projog.clp.VariableState

setNot(ConstraintStore, long) - Method in interface org.projog.clp.Expression

setNot(ConstraintStore, long) - Method in class org.projog.clp.FixedValue

setNot(ConstraintStore, long) - Method in class org.projog.clp.Variable

setNot(Expression, long) - Method in class org.projog.clp.ClpConstraintStore

setNot(Expression, long) - Method in interface org.projog.clp.ConstraintStore

setValue(long) - Method in class org.projog.clp.VariableState

setValue(ConstraintStore, long) - Method in class org.projog.clp.Variable

setValue(Expression, long) - Method in class org.projog.clp.ClpConstraintStore

setValue(Expression, long) - Method in interface org.projog.clp.ConstraintStore

squashBitSet(VariableState, long, long) - Static method in class org.projog.clp.VariableState

squashVariableState(VariableState, long, long) - Static method in class org.projog.clp.VariableState

start - Variable in class org.projog.clp.NumberSet

The value that the first bit of the bitset represents.

Subtract - Class in org.projog.clp.math

The difference of two Expressions.

Subtract(Expression, Expression) - Constructor for class org.projog.clp.math.Subtract

T

toString() - Method in class org.projog.clp.bool.And

toString() - Method in class org.projog.clp.bool.Equivalent

toString() - Method in class org.projog.clp.bool.Implication

toString() - Method in class org.projog.clp.bool.Nand

toString() - Method in class org.projog.clp.bool.Nor

toString() - Method in class org.projog.clp.bool.Not

toString() - Method in class org.projog.clp.bool.Or

toString() - Method in class org.projog.clp.bool.Xor

toString() - Method in class org.projog.clp.compare.Between

toString() - Method in class org.projog.clp.compare.EqualTo

toString() - Method in class org.projog.clp.compare.LessThan

toString() - Method in class org.projog.clp.compare.LessThanOrEqualTo

toString() - Method in class org.projog.clp.compare.NotEqualTo

toString() - Method in class org.projog.clp.FixedValue

toString() - Method in class org.projog.clp.math.Absolute

toString() - Method in class org.projog.clp.math.Add

toString() - Method in class org.projog.clp.math.Divide

toString() - Method in class org.projog.clp.math.Maximum

toString() - Method in class org.projog.clp.math.Minimum

toString() - Method in class org.projog.clp.math.Minus

toString() - Method in class org.projog.clp.math.Multiply

toString() - Method in class org.projog.clp.math.Subtract

toString() - Method in class org.projog.clp.NumberSet

Returns all values contained in this set, in order, separated by commas and surrounded by braces.

toString() - Method in class org.projog.clp.Variable

toString() - Method in class org.projog.clp.VariableState

TRUE - Static variable in class org.projog.clp.FixedValue

TRUE - Static variable in class org.projog.clp.Variable

U

UNRESOLVED - org.projog.clp.ConstraintResult

It was not possible to determine if the constraint is satisfied or not.

update(Expression, VariableStateResult) - Method in class org.projog.clp.ClpConstraintStore

UPDATED - org.projog.clp.VariableStateResult

The possible values of the variable were updated.

V

VALID - org.projog.clp.ExpressionResult

The expression conforms to the given restriction.

validate() - Method in class org.projog.clp.VariableState

value - Variable in class org.projog.clp.FixedValue

valueOf(String) - Static method in enum org.projog.clp.ConstraintResult

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.projog.clp.ExpressionResult

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.projog.clp.VariableStateResult

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.projog.clp.ConstraintResult

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.projog.clp.ExpressionResult

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.projog.clp.VariableStateResult

Returns an array containing the constants of this enum type, in the order they are declared.

Variable - Class in org.projog.clp

An expression that can have one or more possible numeric values.

Variable(int) - Constructor for class org.projog.clp.Variable

variableCtr - Variable in class org.projog.clp.ClpConstraintStore

variables - Variable in class org.projog.clp.ClpConstraintStore.Builder

variables - Variable in class org.projog.clp.ClpConstraintStore.EnforceAll

variables - Variable in class org.projog.clp.ClpConstraintStore

VariableState - Class in org.projog.clp

Represents the possible values for a variable.

VariableState() - Constructor for class org.projog.clp.VariableState

Creates a VariableState with the full range of possible values.

VariableState(long, long, NumberSet) - Constructor for class org.projog.clp.VariableState

VariableState(VariableState) - Constructor for class org.projog.clp.VariableState

VariableStateResult - Enum in org.projog.clp

Indicates the outcome of attempting to restrict the possible values of a variable.

VariableStateResult() - Constructor for enum org.projog.clp.VariableStateResult

variableStates - Variable in class org.projog.clp.ClpConstraintStore

W

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.And

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Equivalent

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Implication

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Nand

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Nor

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Not

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Or

walk(Consumer<Expression>) - Method in class org.projog.clp.bool.Xor

walk(Consumer<Expression>) - Method in class org.projog.clp.compare.Between

walk(Consumer<Expression>) - Method in class org.projog.clp.compare.EqualTo

walk(Consumer<Expression>) - Method in class org.projog.clp.compare.LessThan

walk(Consumer<Expression>) - Method in class org.projog.clp.compare.LessThanOrEqualTo

walk(Consumer<Expression>) - Method in class org.projog.clp.compare.NotEqualTo

walk(Consumer<Expression>) - Method in interface org.projog.clp.Constraint

Traverse this constraint.

walk(Consumer<Expression>) - Method in interface org.projog.clp.Expression

Traverse this expression.

walk(Consumer<Expression>) - Method in class org.projog.clp.FixedValue

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Absolute

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Add

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Divide

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Maximum

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Minimum

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Minus

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Multiply

walk(Consumer<Expression>) - Method in class org.projog.clp.math.Subtract

walk(Consumer<Expression>) - Method in class org.projog.clp.Variable

X

Xor - Class in org.projog.clp.bool

Xor(Constraint, Constraint) - Constructor for class org.projog.clp.bool.Xor

A B C D E F G H I L M N O P R S T U V W X
All Classes All Packages