- ACQ_Acquisition - Interface in ag
-
- ACQ_Bias - Class in ag
-
Class used to represent the bias in the constraint acquisition.
- ACQ_Bias(ACQ_Network) - Constructor for class ag.ACQ_Bias
-
Constructor of the bias from a network
- ACQ_ChocoSolver - Class in ag
-
Class using Choco Solver 4.1.0 as solver
- ACQ_ChocoSolver(ACQ_Domain) - Constructor for class ag.ACQ_ChocoSolver
-
Constructor
- ACQ_Constraint - Class in ag
-
Abstract class that defines the functions common to all constraints
- ACQ_Constraint(String, int[]) - Constructor for class ag.ACQ_Constraint
-
Constructor of this constraint
- ACQ_ConstraintSet - Class in ag
-
Class that gathers multiples constraints into a set of constraint
- ACQ_ConstraintSet() - Constructor for class ag.ACQ_ConstraintSet
-
Constructor of an empty set
- ACQ_ConstraintSet(ACQ_ConstraintSet) - Constructor for class ag.ACQ_ConstraintSet
-
Constructor from a given set of constraints
Does not affect the set of constraints given as parameter
- ACQ_ConstraintSolver - Class in ag
-
Abstract class that defines the main functions used by the solver
- ACQ_ConstraintSolver() - Constructor for class ag.ACQ_ConstraintSolver
-
- ACQ_Domain - Interface in ag
-
Interface used to define the main function of variables domain
- ACQ_IConstraint - Interface in ag
-
Interface that lists the functions to be implemented by each constraint class
- ACQ_Learner - Class in ag
-
Class used to determine if whether or
not a query is a valid solution or not
- ACQ_Learner() - Constructor for class ag.ACQ_Learner
-
- ACQ_Network - Class in ag
-
Class used to represent constraint network.
- ACQ_Network() - Constructor for class ag.ACQ_Network
-
Empty constructor
- ACQ_Network(ACQ_Scope) - Constructor for class ag.ACQ_Network
-
Constructor from a specified scope (variables)
- ACQ_Network(ACQ_ConstraintSet) - Constructor for class ag.ACQ_Network
-
Constructor from a specified set of constraints
- ACQ_Network(ACQ_Scope, ACQ_ConstraintSet) - Constructor for class ag.ACQ_Network
-
Constructor from a specified scope and set of constraints
- ACQ_Network(ACQ_Network, ACQ_Scope) - Constructor for class ag.ACQ_Network
-
Constructor from an other network and a specified scope
It takes the constraints from the other network and the
scope from the specified scope
- ACQ_Network(ACQ_Scope, ACQ_ConstraintSet, boolean) - Constructor for class ag.ACQ_Network
-
Main constructor of networks
Build a network from the specified scope and the specified set of constraints
- ACQ_QUACQ - Class in ag
-
- ACQ_QUACQ(ACQ_ConstraintSolver, ACQ_Bias, ACQ_Learner, Heuristic) - Constructor for class ag.ACQ_QUACQ
-
- ACQ_Query - Class in ag
-
A query is a potential solution that is submitted to the solver.
- ACQ_Query(ACQ_Scope, int[]) - Constructor for class ag.ACQ_Query
-
Constructor for a query from a scope and a set of values
- ACQ_Query() - Constructor for class ag.ACQ_Query
-
Empty constructor
- ACQ_Scope - Class in ag
-
The scope of a constraint is a set of variables (one or more) that are involved in the constraint.
- ACQ_Scope() - Constructor for class ag.ACQ_Scope
-
Empty constructor, initialize this scope with an empty BitSet
- ACQ_Scope(Iterable<Integer>) - Constructor for class ag.ACQ_Scope
-
Constructor from an Iterable over Integer elements
- ACQ_Scope(Spliterator<Integer>) - Constructor for class ag.ACQ_Scope
-
Constructor from a Spliterator over Integer elements
- ACQ_Scope(int...) - Constructor for class ag.ACQ_Scope
-
Constructor from an int array or from multiples int
- ACQ_Scope(BitSet) - Constructor for class ag.ACQ_Scope
-
Constructor from a specified BitSet
- add(ACQ_IConstraint) - Method in class ag.ACQ_ConstraintSet
-
Add a constraint to this set of constraints
- add(ACQ_IConstraint, boolean) - Method in class ag.ACQ_Network
-
Add a specified constraint to the set of this network
If force is set to false, the specified constraint will only be added
if all the variables of the specified constraint are contained in the variable set of this network
Else it will add the constraint and the missing variables
- ag - package ag
-
- ArithmeticConstraint - Interface in ag
-
- ask(ACQ_Query) - Method in class ag.ACQ_Learner
-
Ask this learner if the tuple represented by
the query e is a solution or not
- asked_query(ACQ_Query) - Method in class ag.ACQ_Learner
-