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 Lit & | last () const |
|
Lit & | operator[] (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 |
| } | extra |
|
Lit | data [0] |
Friends |
|
template<class V > |
| Clause * | Clause_new (const V &ps, bool learnt=false) |
The documentation for this class was generated from the following file:
