-
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
Last updated on 2010/11/04 13h:34