Class and Description |
---|
ACQ_Acquisition |
ACQ_Bias
Class used to represent the bias in the constraint acquisition.
|
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_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
|
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_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 |
UnaryArithmetic |
UnaryConstraint |