-
clgClg.c
- Clause graphs - main file
clgClg.c
Clause graphs - main file
By: Dan Sheridan and Marco Roveri
Manage clause graphs
-
Clg_Lit()
- Create a CLG representing a single literal
-
Clg_Conj()
- Create a CLG representing a conjunction of two CLGs
-
Clg_Disj()
- Create a CLG representing a disjunction of two CLGs
-
Clg_Size()
- Return the number of clauses stored in the CLG
-
Clg_Free()
- Free all CLGs
-
Clg_Extract()
- Extract the real clauses from the CLG
-
Extract()
- Extract the clauses, passing them to commit
-
AddToClause()
- Insert a literal into the current clause
-
new_clg()
- Allocate a new CLG node.
Last updated on 2009/03/04 13h:34