Class | Description |
---|---|
Arithmetic |
A constraint dedicated to arithmetic operations.
|
Constraint |
A Constraint is basically a set of
Propagator . |
ICF |
A short-named version of
IntConstraintFactory
|
IntConstraintFactory |
A Factory to declare constraint based on integer variables (only).
|
LCF | |
LogicalConstraintFactory |
Created by IntelliJ IDEA.
|
Propagator<V extends Variable> |
A
Propagator class defines methods to react on a Variable objects modifications. |
ReificationConstraint |
Implication constraint: boolean b => constraint c
Also known as half reification
|
SatFactory |
A factory dedicated to SAT.
|
Enum | Description |
---|---|
Operator |
|
PropagatorPriority |
|
Copyright © 2015. All rights reserved.