Variable Member List

This is the complete list of members for Variable, including all inherited members.

getClause()	Variable	[inline]
getEqClassId()	Variable	[inline]
getImplicitConstant(int index)	Variable	[inline]
getImplicitIndex(int constantId)	Variable	[inline]
getNumImplicitConstants()	Variable	[inline]
getNumTiedVariables()	Variable	[inline]
getPredId()	Variable	[inline]
getTermno()	Variable	[inline]
getTiedVariable(int pos)	Variable	[inline]
getTiedVariables()	Variable	[inline]
getVarId()	Variable	[inline]
hasSameEqClass(Variable *const &var)	Variable	[inline]
isImplicit(int constantId)	Variable	[inline]
isImplicitPlaceHolder(int constantId)	Variable	[inline]
isRepresentative()	Variable	[inline]
merge(Variable *const &var)	Variable	[inline]
print(ostream &out, const Domain *const &domain)	Variable	[inline]
printAll(ostream &out, const Domain *const &domain)	Variable	[inline]
printImplicitConstants(ostream &out, Domain *const &domain)	Variable	[inline]
removeImplicit(int constantId)	Variable	[inline]
same(Variable *const &var)	Variable	[inline]
setEqClassId(int id)	Variable	[inline]
setRepresentative(bool b)	Variable	[inline]
setTiedVars(Array< Variable * > *const &newTiedVars)	Variable	[inline]
Variable(Clause *const &clause, int varId, Predicate *const &pred, int &termno, int &eqClassId, const Array< int > *const &constants)	Variable	[inline]

---