-
AddToClause()
- Insert a literal into the current clause
-
Clg_Conj()
- Create a CLG representing a conjunction of two CLGs
-
Clg_Disj()
- Create a CLG representing a disjunction of two CLGs
-
Clg_Extract()
- Extract the real clauses from the CLG
-
Clg_Free()
- Free all CLGs
-
Clg_Lit()
- Create a CLG representing a single literal
-
Clg_Size()
- Return the number of clauses stored in the CLG
-
Extract()
- Extract the clauses, passing them to commit
-
new_clg()
- Allocate a new CLG node.
Last updated on 2011/04/06 21h:13