public class ACQ_ChocoSolver extends ACQ_ConstraintSolver
Modifier and Type | Field and Description |
---|---|
private ACQ_Domain |
domain
Domain of variables (à revoir parce que les variables d'un meme solver peuvent avoir des domaines différents)
|
timeouted
Constructor and Description |
---|
ACQ_ChocoSolver(ACQ_Domain domain)
Constructor
|
Modifier and Type | Method and Description |
---|---|
private org.chocosolver.solver.variables.IntVar[] |
buildModel(org.chocosolver.solver.Model model,
ACQ_Network network)
Build the solver model.
|
ACQ_Query |
solve_AnotAllB(ACQ_Network networkA,
ACQ_Network networkB,
config.Heuristic heuristic)
Generate a query that satisfies networkA and at least one constraint of networkB
|
ACQ_Query |
solve_AnotB(ACQ_Network networkA,
ACQ_Network networkB,
config.Heuristic heuristic)
Generate a query that satisfies networkA but violates at least one constraint of networkB
|
boolean |
solve(ACQ_Network learned_network)
Ask this solver if there is any solution to the specified network
|
timeout_reached
private ACQ_Domain domain
public ACQ_ChocoSolver(ACQ_Domain domain)
domain
- Domain of variablespublic ACQ_Query solve_AnotB(ACQ_Network networkA, ACQ_Network networkB, config.Heuristic heuristic)
solve_AnotB
in class ACQ_ConstraintSolver
networkA
- Constraint network to satisfynetworkB
- Constraint network to violatepublic ACQ_Query solve_AnotAllB(ACQ_Network networkA, ACQ_Network networkB, config.Heuristic heuristic)
solve_AnotAllB
in class ACQ_ConstraintSolver
networkA
- Constraint network to satisfynetworkB
- Constraint network where at least one constraint is satisfiedheuristic
- private org.chocosolver.solver.variables.IntVar[] buildModel(org.chocosolver.solver.Model model, ACQ_Network network)
model
- Target model to add variables and constraintsnetwork
- Constraint network to modelizepublic boolean solve(ACQ_Network learned_network)
solve
in class ACQ_ConstraintSolver
learned_network
- Constraint network to check