-
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 18h:28