Gringo::LuaTerm Member List

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

_newRef(RenameMap &names, ReferenceMap &refs) const	Gringo::Term
args	Gringo::LuaTerm
ArithmeticsMap typedef	Gringo::Term
bind(VarSet &bound)	Gringo::Term
clone() const	Gringo::LuaTerm	virtual
collect(VarTermBoundVec &vars, bool bound) const	Gringo::LuaTerm	virtual
collect(VarSet &vars, unsigned minLevel=0, unsigned maxLevel=std::numeric_limits< unsigned >::max()) const	Gringo::LuaTerm	virtual
Gringo::Term::collect(VarTermSet &vars) const	Gringo::Term	virtual
collectIds(VarSet &vars) const	Gringo::LuaTerm	virtual
CONSTANT enum value	Gringo::Term
DotsMap typedef	Gringo::Term
estimate(double size, VarSet const &bound) const	Gringo::LuaTerm	virtual
eval() const	Gringo::LuaTerm	virtual
getInvertibility() const	Gringo::LuaTerm	virtual
getLevel() const	Gringo::LuaTerm	virtual
getSig() const	Gringo::LuaTerm	virtual
gterm(RenameMap &names, ReferenceMap &refs) const	Gringo::LuaTerm	virtual
Gringo::Term::gterm() const	Gringo::Term
hash() const	Gringo::LuaTerm	virtual
hasPool() const	Gringo::LuaTerm	virtual
hasVar() const	Gringo::LuaTerm	virtual
insert(ArithmeticsMap &arith, unsigned &auxNum, UTerm &&term)	Gringo::Term	static
Invertibility enum name	Gringo::Term
INVERTIBLE enum value	Gringo::Term
isEDB() const	Gringo::LuaTerm	virtual
isNotNumeric() const	Gringo::LuaTerm	virtual
isZero() const	Gringo::Term
loc() const =0	Gringo::Locatable	pure virtual
loc(Location const &loc)=0	Gringo::Locatable	pure virtual
LuaTerm(FWString name, UTermVec &&args)	Gringo::LuaTerm
match(Value const &val) const	Gringo::LuaTerm	virtual
name	Gringo::LuaTerm
NOT_INVERTIBLE enum value	Gringo::Term
operator!=(Termconst &other) const	Gringo::Comparable< Term >	inlinevirtual
operator==(Term const &other) const	Gringo::LuaTerm	virtual
print(std::ostream &out) const	Gringo::LuaTerm	virtual
project(bool rename, unsigned &auxNum)	Gringo::LuaTerm	virtual
ProjectRet typedef	Gringo::Term
ReferenceMap typedef	Gringo::Term
rename(FWString name)	Gringo::LuaTerm	virtual
RenameMap typedef	Gringo::Term
renameVars(RenameMap &names) const	Gringo::LuaTerm	virtual
replace(Defines &defs, bool replace=true)	Gringo::LuaTerm	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::LuaTerm	virtual
ScriptMap typedef	Gringo::Term
simplify(DotsMap &dots, ScriptMap &scripts, unsigned &auxNum, bool positional, bool arithmetic)	Gringo::LuaTerm	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::LuaTerm	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
~LuaTerm()	Gringo::LuaTerm	virtual
~Printable()	Gringo::Printable	inlinevirtual
~Term()	Gringo::Term	inlinevirtual