BODY enum value | Clasp::VarInfo | |
DISJ enum value | Clasp::VarInfo | |
EQ enum value | Clasp::VarInfo | |
flag(FLAG x) | Clasp::VarInfo | [inline, static] |
FLAG enum name | Clasp::VarInfo | |
frozen() const | Clasp::VarInfo | [inline] |
FROZEN enum value | Clasp::VarInfo | |
has(FLAG f) const | Clasp::VarInfo | [inline] |
has(uint32 f) const | Clasp::VarInfo | [inline] |
inDisj() const | Clasp::VarInfo | [inline] |
MARK_N enum value | Clasp::VarInfo | |
MARK_P enum value | Clasp::VarInfo | |
NANT enum value | Clasp::VarInfo | |
nant() const | Clasp::VarInfo | [inline] |
preferredSign() const | Clasp::VarInfo | [inline] |
PROJECT enum value | Clasp::VarInfo | |
project() const | Clasp::VarInfo | [inline] |
rep | Clasp::VarInfo | |
set(FLAG f) | Clasp::VarInfo | [inline] |
toggle(FLAG f) | Clasp::VarInfo | [inline] |
type() const | Clasp::VarInfo | [inline] |
VarInfo() | Clasp::VarInfo | [inline] |