_VarCompState Member List

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

_GHom(int ref=0, bool im=false)	_GHom	inline
_VarCompState(int vr, comparator c, int vl)	_VarCompState	inline
clone() const	_VarCompState	inlinevirtual
comp	_VarCompState	private
compose(const GHom &other) const	_VarCompState	inlinevirtual
creation_counter	_GHom	private
eval(const GDDD &) const	StrongHom	virtual
eval_skip(const GDDD &) const	_GHom	private
get_concret(const GHom &ghom)	_GHom	inlinestatic
get_range() const	_VarCompState	inlinevirtual
has_image(const GDDD &) const	StrongHom	virtual
has_image_skip(const GDDD &) const	_GHom
hash() const	_VarCompState	inlinevirtual
immediat	_GHom	mutableprivate
invert(const GDDD &) const	_GHom	inlinevirtual
is_selector() const	_VarCompState	inlinevirtual
mark() const	_GHom	inlinevirtual
marking	_GHom	mutableprivate
negate() const	_VarCompState	inlinevirtual
operator<(const _GHom &h) const	_GHom
operator==(const StrongHom &s) const	_VarCompState	inlinevirtual
StrongHom::operator==(const _GHom &h) const	StrongHom	virtual
phi(int vr, int vl) const	_VarCompState	inlinevirtual
phiOne() const	_VarCompState	inlinevirtual
print(std::ostream &os) const	_VarCompState	inlinevirtual
refCounter	_GHom	mutableprivate
skip_variable(int vr) const	_VarCompState	inlinevirtual
StrongHom()	StrongHom	inline
val	_VarCompState	private
var	_VarCompState	private
~_GHom()	_GHom	inlinevirtual
~StrongHom()	StrongHom	inlinevirtual