Public Member Functions | Public Attributes | Friends
minisat::Clause Class Reference

List of all members.

Public Member Functions

void calcAbstraction ()
template<class V >
 Clause (const V &ps, bool learnt)
int size () const
void shrink (int i)
void pop ()
bool learnt () const
uint32_t mark () const
void mark (uint32_t m)
const Litlast () const
Litoperator[] (int i)
Lit operator[] (int i) const
 operator const Lit * (void) const
float & activity ()
uint32_t abstraction () const
Lit subsumes (const Clause &other) const
void strengthen (Lit p)

Public Attributes

uint32_t size_etc
union {
   float   act
   uint32_t   abst
Lit data [0]


template<class V >
ClauseClause_new (const V &ps, bool learnt=false)

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