Interface | Description |
---|---|
ACQ_Acquisition | |
ACQ_Domain |
Interface used to define the main function of variables domain
|
ACQ_IConstraint |
Interface that lists the functions to be implemented by each constraint class
|
ArithmeticConstraint |
Class | Description |
---|---|
ACQ_Bias |
Class used to represent the bias in the constraint acquisition.
|
ACQ_ChocoSolver |
Class using Choco Solver 4.1.0 as solver
|
ACQ_Constraint |
Abstract class that defines the functions common to all constraints
|
ACQ_ConstraintSet |
Class that gathers multiples constraints into a set of constraint
|
ACQ_ConstraintSolver |
Abstract class that defines the main functions used by the solver
|
ACQ_Learner |
Class used to determine if whether or
not a query is a valid solution or not
|
ACQ_Network |
Class used to represent constraint network.
|
ACQ_QUACQ | |
ACQ_Query |
A query is a potential solution that is submitted to the solver.
|
ACQ_Scope |
The scope of a constraint is a set of variables (one or more) that are involved in the constraint.
|
BinaryArithmetic |
Constraint between two variables.
|
BinaryConstraint | |
ConstraintAcquisition | |
NameService | |
TernaryConstraint | |
UnaryArithmetic | |
UnaryConstraint |