public abstract class ACQ_ConstraintSolver
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
timeouted
Used to evaluate the performance of this solver
|
Constructor and Description |
---|
ACQ_ConstraintSolver() |
Modifier and Type | Method and Description |
---|---|
abstract 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
|
abstract ACQ_Query |
solve_AnotB(ACQ_Network network1,
ACQ_Network network2,
config.Heuristic heuristic)
Generate a query that satisfies networkA but violates at least one constraint of networkB
|
abstract boolean |
solve(ACQ_Network learned_network)
Checks if there is any solution of the specified constraint network
|
boolean |
timeout_reached()
Function used to check if this solver exceed a definite time
|
public abstract boolean solve(ACQ_Network learned_network)
learned_network
- Constraint network to checkpublic abstract ACQ_Query solve_AnotB(ACQ_Network network1, ACQ_Network network2, config.Heuristic heuristic)
networkA
- Constraint network to satisfynetworkB
- Constraint network to violateheuristic
- public boolean timeout_reached()
public abstract ACQ_Query solve_AnotAllB(ACQ_Network networkA, ACQ_Network networkB, config.Heuristic heuristic)
networkA
- Constraint network to satisfynetworkB
- Constraint network where at least one constraint is satisfiedheuristic
-