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.


Last updated on 2005/07/18 15h:57