clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Clasp::VarInfo Member List

This is the complete list of members for Clasp::VarInfo, including all inherited members.

BODY enum valueClasp::VarInfo
DISJ enum valueClasp::VarInfo
EQ enum valueClasp::VarInfo
flag(FLAG x)Clasp::VarInfoinlinestatic
FLAG enum nameClasp::VarInfo
frozen() const Clasp::VarInfoinline
FROZEN enum valueClasp::VarInfo
has(FLAG f) const Clasp::VarInfoinline
has(uint32 f) const Clasp::VarInfoinline
inDisj() const Clasp::VarInfoinline
MARK_N enum valueClasp::VarInfo
MARK_P enum valueClasp::VarInfo
NANT enum valueClasp::VarInfo
nant() const Clasp::VarInfoinline
preferredSign() const Clasp::VarInfoinline
PROJECT enum valueClasp::VarInfo
project() const Clasp::VarInfoinline
repClasp::VarInfo
set(FLAG f)Clasp::VarInfoinline
toggle(FLAG f)Clasp::VarInfoinline
type() const Clasp::VarInfoinline
VarInfo()Clasp::VarInfoinline
Generated on Wed May 14 2014 16:10:48 for clingo by   doxygen 1.8.7