ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Gluco2::Clause Member List

This is the complete list of members for Gluco2::Clause, including all inherited members.

absGluco2::Clause
abstraction() constGluco2::Clauseinline
actGluco2::Clause
activity()Gluco2::Clauseinline
calcAbstraction()Gluco2::Clauseinline
canBeDel()Gluco2::Clauseinline
canbedelGluco2::Clause
ClauseAllocator classGluco2::Clausefriend
has_extraGluco2::Clause
has_extra() constGluco2::Clauseinline
last() constGluco2::Clauseinline
lbdGluco2::Clause
lbd() constGluco2::Clauseinline
learntGluco2::Clause
learnt() constGluco2::Clauseinline
litGluco2::Clause
markGluco2::Clause
mark() constGluco2::Clauseinline
mark(uint32_t m)Gluco2::Clauseinline
operator const Lit *(void) constGluco2::Clauseinline
operator[](int i)Gluco2::Clauseinline
operator[](int i) constGluco2::Clauseinline
pop()Gluco2::Clauseinline
relGluco2::Clause
relocate(CRef c)Gluco2::Clauseinline
relocation() constGluco2::Clauseinline
relocedGluco2::Clause
reloced() constGluco2::Clauseinline
setCanBeDel(bool b)Gluco2::Clauseinline
setLBD(int i)Gluco2::Clauseinline
setSizeWithoutSelectors(unsigned int n)Gluco2::Clauseinline
shrink(int i)Gluco2::Clauseinline
sizeGluco2::Clause
size() constGluco2::Clauseinline
sizeWithoutSelectors() constGluco2::Clauseinline
strengthen(Lit p)Gluco2::Clauseinline
subsumes(const Clause &other) constGluco2::Clauseinline
szWithoutSelectorsGluco2::Clause