DDD  1.9.0.20240826145154
_setVarConst Member List

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

_GHom(int ref=0, bool im=false)_GHominline
_setVarConst(int vr, int vl)_setVarConstinline
clone() const_setVarConstinlinevirtual
compose(const GHom &r) const_GHomvirtual
creation_counter_GHomprivate
eval(const GDDD &) constStrongHomvirtual
eval_skip(const GDDD &) const_GHomprivate
get_concret(const GHom &ghom)_GHominlinestatic
get_range() const_setVarConstinlinevirtual
has_image(const GDDD &) constStrongHomvirtual
has_image_skip(const GDDD &) const_GHom
hash() const_setVarConstinlinevirtual
immediat_GHommutableprivate
invert(const GDDD &potall) const_setVarConstinlinevirtual
is_selector() const_GHominlinevirtual
mark() const_GHominlinevirtual
marking_GHommutableprivate
negate() const_GHomvirtual
operator<(const _GHom &h) const_GHom
operator==(const StrongHom &s) const_setVarConstinlinevirtual
StrongHom::operator==(const _GHom &h) constStrongHomvirtual
phi(int vr, int vl) const_setVarConstinlinevirtual
phiOne() const_setVarConstinlinevirtual
print(std::ostream &os) const_setVarConstinlinevirtual
refCounter_GHommutableprivate
skip_variable(int vr) const_setVarConstinlinevirtual
StrongHom()StrongHominline
val_setVarConstprivate
var_setVarConstprivate
~_GHom()_GHominlinevirtual
~StrongHom()StrongHominlinevirtual

Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Aug 26 2024 14:54:00 for DDD by doxygen 1.9.1