Logo Search packages:      
Sourcecode: packup version File versions  Download package

Static Public Member Functions | Protected Member Functions | Protected Attributes | Static Protected Attributes | Friends

ClauseRegistry Class Reference

Collaboration diagram for ClauseRegistry:
Collaboration graph
[legend]

List of all members.

Static Public Member Functions

static ClauseRegistryinstance ()

Protected Member Functions

void add_literal (BasicClause *cl, LINT nlit)
BasicClausecreate_clause (vector< LINT > &clits)
BasicClausecreate_clause (LINT nlits, const LINT lits[])
LINT decr_cl_refs (BasicClause *cl)
void erase_clause (BasicClause *cl)
LINT incr_cl_refs (BasicClause *cl)
BasicClauselookup_vect (LINT num, const LINT ivect[])
BasicClauselookup_vect (vector< LINT > &clits)
LINT num_cl_refs (BasicClause *cl)
void register_clause (BasicClause *ncl)
void remove_duplicates (vector< LINT > &clits)

Protected Attributes

Clause2IntMap c2n_map
IVec2ClMap v2p_map

Static Protected Attributes

static ClauseRegistry clreg_instance

Friends

class BasicClauseSet

Detailed Description

Definition at line 58 of file cl_registry.hh.


The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index