sat_inc_solver_create_group()
Pure virtual function, create a new group
sat_inc_solver_deinit()
This function de-initializes the SatIncSolver class.
sat_inc_solver_destroy_group()
Pure virtual function, destroys existing group
sat_inc_solver_finalize()
Finalize method of SatIncSolver class.
sat_inc_solver_init()
This function initializes the SatIncSolver class.
sat_inc_solver_move_to_permanent_and_destroy_group()
Pure virtual function, moves all formulas from a given group into the permanent one, and then destroys the given group
sat_inc_solver_solve_groups()
Pure virtual function, tries to solve formulas from the groups in the list. the permanent group is automatically added to the list
sat_inc_solver_solve_without_groups()
Pure virtual function, tries to solve formulas from the groups belonging to the solver except the groups in the list. the permanent group must not be in the list
sat_solver_BelongToList()
returns 1 if an element belongs to the list and 0 otherwise.
sat_solver_RemoveFromList()
removes an element from the list
sat_solver_add()
Pure virtual function, adds a formula to a group
sat_solver_deinit()
This function de-initializes the SatSolver class.
sat_solver_finalize()
Finalize method of SatSolver class.
sat_solver_init()
This function initializes the SatSolver class.
sat_solver_make_model()
Pure virtual function, creates a model for last successful solving
sat_solver_set_polarity()
Pure virtual function, sets the polarity of a formula
sat_solver_solve_all_groups()
Pure virtual function, tries to solve formulas in the group and the permanent group

Last updated on 2004/08/06 17h:44