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

This is the complete list of members for Gringo::PoolTerm, including all inherited members.

_newRef(RenameMap &names, ReferenceMap &refs) const Gringo::Term
argsGringo::PoolTerm
ArithmeticsMap typedefGringo::Term
bind(VarSet &bound)Gringo::Term
clone() const Gringo::PoolTermvirtual
collect(VarTermBoundVec &vars, bool bound) const Gringo::PoolTermvirtual
collect(VarSet &vars, unsigned minLevel=0, unsigned maxLevel=std::numeric_limits< unsigned >::max()) const Gringo::PoolTermvirtual
Gringo::Term::collect(VarTermSet &vars) const Gringo::Termvirtual
collectIds(VarSet &vars) const Gringo::PoolTermvirtual
CONSTANT enum valueGringo::Term
DotsMap typedefGringo::Term
estimate(double size, VarSet const &bound) const Gringo::PoolTermvirtual
eval() const Gringo::PoolTermvirtual
getInvertibility() const Gringo::PoolTermvirtual
getLevel() const Gringo::PoolTermvirtual
getSig() const Gringo::PoolTermvirtual
gterm(RenameMap &names, ReferenceMap &refs) const Gringo::PoolTermvirtual
Gringo::Term::gterm() const Gringo::Term
hash() const Gringo::PoolTermvirtual
hasPool() const Gringo::PoolTermvirtual
hasVar() const Gringo::PoolTermvirtual
insert(ArithmeticsMap &arith, unsigned &auxNum, UTerm &&term)Gringo::Termstatic
Invertibility enum nameGringo::Term
INVERTIBLE enum valueGringo::Term
isEDB() const Gringo::PoolTermvirtual
isNotNumeric() const Gringo::PoolTermvirtual
isZero() const Gringo::Term
loc() const =0Gringo::Locatablepure virtual
loc(Location const &loc)=0Gringo::Locatablepure virtual
match(Value const &val) const Gringo::PoolTermvirtual
NOT_INVERTIBLE enum valueGringo::Term
operator!=(Termconst &other) constGringo::Comparable< Term >inlinevirtual
operator==(Term const &other) const Gringo::PoolTermvirtual
PoolTerm(UTermVec &&terms)Gringo::PoolTerm
print(std::ostream &out) const Gringo::PoolTermvirtual
project(bool rename, unsigned &auxNum)Gringo::PoolTermvirtual
ProjectRet typedefGringo::Term
ReferenceMap typedefGringo::Term
rename(FWString name)Gringo::PoolTermvirtual
RenameMap typedefGringo::Term
renameVars(RenameMap &names) const Gringo::PoolTermvirtual
replace(Defines &defs, bool replace=true)Gringo::PoolTermvirtual
Gringo::Term::replace(std::unique_ptr< T > &dst, std::unique_ptr< U > &&src)Gringo::Termstatic
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::PoolTermvirtual
ScriptMap typedefGringo::Term
simplify(DotsMap &dots, ScriptMap &scripts, unsigned &auxNum, bool positional, bool arithmetic)Gringo::PoolTermvirtual
SVal typedefGringo::Term
uniqueName(unsigned &auxNum, char const *prefix="#X")Gringo::Termstatic
uniqueVal(Location const &loc, unsigned &auxNum, const char *prefix="#X")Gringo::Termstatic
uniqueVar(Location const &loc, unsigned &auxNum, unsigned level=0, const char *prefix="#X")Gringo::Termstatic
unpool(UTermVec &x) const Gringo::PoolTermvirtual
Gringo::Term::unpool(A const &a, UnpoolA const &fA, Callback const &g)Gringo::Termstatic
Gringo::Term::unpool(A const &a, B const &b, UnpoolA const &fA, UnpoolB const &fB, Callback const &g)Gringo::Termstatic
Gringo::Term::unpool(It const &begin, It const &end, Unpool const &f, Callback const &g)Gringo::Termstatic
Gringo::Term::unpool(It const &begin, It const &end, TermUnpool const &f, Callback const &g)Gringo::Term
unpoolJoin(Vec &vec, Unpool const &f)Gringo::Termstatic
unpoolJoin(Vec &vec, TermUnpool const &f)Gringo::Term
VarSet typedefGringo::Term
~Clonable()Gringo::Clonable< Term >inlinevirtual
~Comparable()Gringo::Comparable< Term >inlinevirtual
~Hashable()Gringo::Hashableinlinevirtual
~Locatable()Gringo::Locatableinlinevirtual
~PoolTerm()Gringo::PoolTermvirtual
~Printable()Gringo::Printableinlinevirtual
~Term()Gringo::Terminlinevirtual