Modifier and Type | Field and Description |
---|---|
private ACQ_Network |
ACQ_QUACQ.learned_network |
protected ACQ_Network |
ACQ_Bias.network
Network of the bias, including both variables and constraints
|
Modifier and Type | Method and Description |
---|---|
ACQ_Network |
ACQ_QUACQ.getLearnedNetwork() |
(package private) ACQ_Network |
ACQ_Bias.getProjection(ACQ_Scope varSet)
Returns a subnet of this bias.
|
Modifier and Type | Method and Description |
---|---|
private org.chocosolver.solver.variables.IntVar[] |
ACQ_ChocoSolver.buildModel(org.chocosolver.solver.Model model,
ACQ_Network network)
Build the solver model.
|
ACQ_Query |
ACQ_Acquisition.query_gen(ACQ_Network network1,
ACQ_Network network2,
ACQ_Scope scope,
config.Query_type type,
config.Heuristic h)
query_gen
|
ACQ_Query |
ACQ_QUACQ.query_gen(ACQ_Network network1,
ACQ_Network network2,
ACQ_Scope scope,
config.Query_type type,
config.Heuristic h)
**************************************************************************
query_gen
|
abstract ACQ_Query |
ACQ_ConstraintSolver.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 |
ACQ_ChocoSolver.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 |
ACQ_ConstraintSolver.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
|
ACQ_Query |
ACQ_ChocoSolver.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
|
abstract boolean |
ACQ_ConstraintSolver.solve(ACQ_Network learned_network)
Checks if there is any solution of the specified constraint network
|
boolean |
ACQ_ChocoSolver.solve(ACQ_Network learned_network)
Ask this solver if there is any solution to the specified network
|
Constructor and Description |
---|
ACQ_Bias(ACQ_Network network)
Constructor of the bias from a network
|
ACQ_Network(ACQ_Network other_network,
ACQ_Scope scope)
Constructor from an other network and a specified scope
It takes the constraints from the other network and the
scope from the specified scope
|