- scope - Variable in class ag.ACQ_Query
-
Variables involved in this query
- size() - Method in class ag.ACQ_ConstraintSet
-
Returns the size of this set of constraints
- size() - Method in class ag.ACQ_Network
-
Returns the size of the set of constraints
- size() - Method in class ag.ACQ_Scope
-
Returns the amount of variable of this scope
- solve(ACQ_Network) - Method in class ag.ACQ_ChocoSolver
-
Ask this solver if there is any solution to the specified network
- solve(ACQ_Network) - Method in class ag.ACQ_ConstraintSolver
-
Checks if there is any solution of the specified constraint network
- solve_AnotAllB(ACQ_Network, ACQ_Network, Heuristic) - Method in class ag.ACQ_ChocoSolver
-
Generate a query that satisfies networkA and at least one constraint of networkB
- solve_AnotAllB(ACQ_Network, ACQ_Network, Heuristic) - Method in class ag.ACQ_ConstraintSolver
-
Generate a query that satisfies networkA and at least one constraint of networkB
- solve_AnotB(ACQ_Network, ACQ_Network, Heuristic) - Method in class ag.ACQ_ChocoSolver
-
Generate a query that satisfies networkA but violates at least one constraint of networkB
- solve_AnotB(ACQ_Network, ACQ_Network, Heuristic) - Method in class ag.ACQ_ConstraintSolver
-
Generate a query that satisfies networkA but violates at least one constraint of networkB
- solver - Variable in class ag.ACQ_QUACQ
-
- solver - Variable in class ag.ConstraintAcquisition
-
- split() - Method in class ag.ACQ_Scope
-
Split this scope into two new scopes.
- spliterator() - Method in class ag.ACQ_Scope
-
- startExp(int) - Static method in class ag.ConstraintAcquisition
-