-
SatSim.c
- Routines related to SatSim object.
SatSim.c
Routines related to SatSim object.
By: Andrei Tchaltsev, Roberto Cavada
This file contains the definition of "SatSim"
class. SatSim (non-incremental) solver implementation of the generic
SatSolver clas
-
SatSim_create()
- Creates a Sim SAT solver and initializes it.
-
SatSim_destroy()
- Destroys an instance of a Sim SAT solver
-
sat_sim_compare()
- Compares two variables indexes
-
sat_sim_add()
- Adds a clause to the solver database.
-
sat_sim_set_polarity()
- Sets the polarity of the formula.
-
sat_sim_solve_all_groups()
- Tries to solve all added formulas
-
sat_sim_make_model()
- This function should never be invoked since
the actual model is generated in 'solve' method
-
sat_sim_init()
- Initializes Sat Sim object.
-
sat_sim_deinit()
- Deinitializes SatSim object.
-
sat_sim_finalize()
- Sat Sim finalize method.
Last updated on 2009/01/30 14h:53