clingo
|
This is the complete list of members for Gringo::PoolTerm, including all inherited members.
_newRef(RenameMap &names, ReferenceMap &refs) const | Gringo::Term | |
args | Gringo::PoolTerm | |
ArithmeticsMap typedef | Gringo::Term | |
bind(VarSet &bound) | Gringo::Term | |
clone() const | Gringo::PoolTerm | virtual |
collect(VarTermBoundVec &vars, bool bound) const | Gringo::PoolTerm | virtual |
collect(VarSet &vars, unsigned minLevel=0, unsigned maxLevel=std::numeric_limits< unsigned >::max()) const | Gringo::PoolTerm | virtual |
Gringo::Term::collect(VarTermSet &vars) const | Gringo::Term | virtual |
collectIds(VarSet &vars) const | Gringo::PoolTerm | virtual |
CONSTANT enum value | Gringo::Term | |
DotsMap typedef | Gringo::Term | |
estimate(double size, VarSet const &bound) const | Gringo::PoolTerm | virtual |
eval() const | Gringo::PoolTerm | virtual |
getInvertibility() const | Gringo::PoolTerm | virtual |
getLevel() const | Gringo::PoolTerm | virtual |
getSig() const | Gringo::PoolTerm | virtual |
gterm(RenameMap &names, ReferenceMap &refs) const | Gringo::PoolTerm | virtual |
Gringo::Term::gterm() const | Gringo::Term | |
hash() const | Gringo::PoolTerm | virtual |
hasPool() const | Gringo::PoolTerm | virtual |
hasVar() const | Gringo::PoolTerm | virtual |
insert(ArithmeticsMap &arith, unsigned &auxNum, UTerm &&term) | Gringo::Term | static |
Invertibility enum name | Gringo::Term | |
INVERTIBLE enum value | Gringo::Term | |
isEDB() const | Gringo::PoolTerm | virtual |
isNotNumeric() const | Gringo::PoolTerm | virtual |
isZero() const | Gringo::Term | |
loc() const =0 | Gringo::Locatable | pure virtual |
loc(Location const &loc)=0 | Gringo::Locatable | pure virtual |
match(Value const &val) const | Gringo::PoolTerm | virtual |
NOT_INVERTIBLE enum value | Gringo::Term | |
operator!=(Termconst &other) const | Gringo::Comparable< Term > | inlinevirtual |
operator==(Term const &other) const | Gringo::PoolTerm | virtual |
PoolTerm(UTermVec &&terms) | Gringo::PoolTerm | |
print(std::ostream &out) const | Gringo::PoolTerm | virtual |
project(bool rename, unsigned &auxNum) | Gringo::PoolTerm | virtual |
ProjectRet typedef | Gringo::Term | |
ReferenceMap typedef | Gringo::Term | |
rename(FWString name) | Gringo::PoolTerm | virtual |
RenameMap typedef | Gringo::Term | |
renameVars(RenameMap &names) const | Gringo::PoolTerm | virtual |
replace(Defines &defs, bool replace=true) | Gringo::PoolTerm | virtual |
Gringo::Term::replace(std::unique_ptr< T > &dst, std::unique_ptr< U > &&src) | Gringo::Term | static |
Gringo::Term::replace(std::unique_ptr< T > &dst, std::unique_ptr< U > &&src, std::unique_ptr< V > &&alt) | Gringo::Term | |
rewriteArithmetics(ArithmeticsMap &arith, unsigned &auxNum) | Gringo::PoolTerm | virtual |
ScriptMap typedef | Gringo::Term | |
simplify(DotsMap &dots, ScriptMap &scripts, unsigned &auxNum, bool positional, bool arithmetic) | Gringo::PoolTerm | virtual |
SVal typedef | Gringo::Term | |
uniqueName(unsigned &auxNum, char const *prefix="#X") | Gringo::Term | static |
uniqueVal(Location const &loc, unsigned &auxNum, const char *prefix="#X") | Gringo::Term | static |
uniqueVar(Location const &loc, unsigned &auxNum, unsigned level=0, const char *prefix="#X") | Gringo::Term | static |
unpool(UTermVec &x) const | Gringo::PoolTerm | virtual |
Gringo::Term::unpool(A const &a, UnpoolA const &fA, Callback const &g) | Gringo::Term | static |
Gringo::Term::unpool(A const &a, B const &b, UnpoolA const &fA, UnpoolB const &fB, Callback const &g) | Gringo::Term | static |
Gringo::Term::unpool(It const &begin, It const &end, Unpool const &f, Callback const &g) | Gringo::Term | static |
Gringo::Term::unpool(It const &begin, It const &end, TermUnpool const &f, Callback const &g) | Gringo::Term | |
unpoolJoin(Vec &vec, Unpool const &f) | Gringo::Term | static |
unpoolJoin(Vec &vec, TermUnpool const &f) | Gringo::Term | |
VarSet typedef | Gringo::Term | |
~Clonable() | Gringo::Clonable< Term > | inlinevirtual |
~Comparable() | Gringo::Comparable< Term > | inlinevirtual |
~Hashable() | Gringo::Hashable | inlinevirtual |
~Locatable() | Gringo::Locatable | inlinevirtual |
~PoolTerm() | Gringo::PoolTerm | virtual |
~Printable() | Gringo::Printable | inlinevirtual |
~Term() | Gringo::Term | inlinevirtual |