SatSolverGroup
sat_inc_solver_create_group(
const SatIncSolver_ptr self
)
- It is a pure virtual function and SatIncSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatIncSolver_add
void
sat_inc_solver_deinit(
SatIncSolver_ptr self
)
- This function de-initializes the SatIncSolver class.
void
sat_inc_solver_destroy_group(
const SatIncSolver_ptr self,
SatSolverGroup group
)
- It is a pure virtual function and SatIncSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatIncSolver_add
void
sat_inc_solver_finalize(
Object_ptr object,
void* dummy
)
- Pure virtual function. This must be refined by derived classes.
void
sat_inc_solver_init(
SatIncSolver_ptr self,
const char* name
)
- This function initializes the SatIncSolver class.
void
sat_inc_solver_move_to_permanent_and_destroy_group(
const SatIncSolver_ptr self,
SatSolverGroup group
)
- It is a pure virtual function and SatIncSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatIncSolver_add
SatSolverResult
sat_inc_solver_solve_groups(
const SatIncSolver_ptr self,
const lsList groups
)
- It is a pure virtual function and SatIncSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatIncSolver_add
SatSolverResult
sat_inc_solver_solve_without_groups(
const SatIncSolver_ptr self,
const lsList groups
)
- It is a pure virtual function and SatIncSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatIncSolver_add
int
sat_solver_BelongToList(
const lsList list,
const lsGeneric element
)
- just checks all elements in the list for being equal to
a given element
void
sat_solver_RemoveFromList(
lsList list,
const lsGeneric element
)
- If there is no such element in the list => do nothing
- See Also
sat_solver_BelongToList
void
sat_solver_add(
const SatSolver_ptr self,
const Be_Cnf_ptr cnfProb,
SatSolverGroup group
)
- It is a pure virtual function and SatSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatSolver_add
void
sat_solver_deinit(
SatSolver_ptr self
)
- This function de-initializes the SatSolver class.
void
sat_solver_finalize(
Object_ptr object,
void* dummy
)
- Pure virtual function. This must be refined by derived classes.
void
sat_solver_init(
SatSolver_ptr self,
const char* name
)
- This function initializes the SatSolver class.
lsList
sat_solver_make_model(
const SatSolver_ptr self
)
- It is a pure virtual function and SatSolver is an abstract
base class. Every derived class must ovewrwrite this function.
It is an error if the last solving was unsuccessful.
void
sat_solver_set_polarity(
const SatSolver_ptr self,
const Be_Cnf_ptr cnfProb,
int polarity,
SatSolverGroup group
)
- It is a pure virtual function and SatSolver is an abstract
base class. Every derived class must ovewrwrite this function.
- See Also
SatSolver_set_polarity
SatSolverResult
sat_solver_solve_all_groups(
const SatSolver_ptr self
)
- It is a pure virtual function and SatSolver is an abstract
base class. Every derived class must ovewrwrite this function.