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 2011/06/16 12h:15