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

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

BasicClause Class Reference

Collaboration diagram for BasicClause:
Collaboration graph

List of all members.

Public Member Functions

Literator begin ()
void dump (ostream &outs=cout)
Literator end ()
ULINT get_grp_id ()
ULINT get_id ()
XLINT get_weight ()
void set_grp_id (ULINT grp)
void set_id (ULINT nid)
void set_weight (XLINT nweight)
ULINT size ()

Protected Member Functions

void add_lit (LINT lit)
 BasicClause (vector< LINT > &lits)
vector< LINT > & cl_lits ()
ULINT compute_hash ()
void del_lit (LINT lit)
ULINT get_max_lit ()
ULINT get_min_lit ()
void sort_lits ()

Protected Attributes

vector< LINT > clits
XLINT weight


class BasicClauseSet
class ClauseRegistry
bool operator< (BasicClause &ptr1, BasicClause &ptr2)
ostream & operator<< (ostream &outs, BasicClause &cl)
bool operator> (BasicClause &ptr1, BasicClause &ptr2)

Detailed Description

Definition at line 56 of file basic_clause.hh.

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

Generated by  Doxygen 1.6.0   Back to index