DDD
1.9.0.20240826145154
|
Public Member Functions | |
NotCond (const GHom &cond) | |
bool | skip_variable (int var) const |
The skip_variable predicate indicates which variables are "don't care" with respect to this SHom. More... | |
const GHom::range_t | get_range () const |
The range returns the dual of skip_variable, default implem considers that all variables are affected by this homomorphism. More... | |
bool | is_selector () const |
The isSelector predicate indicates a homomorphism that only selects paths in the SDD (no modifications, no additions) Tagging with isSelector() allows to enable optimizations and makes the homomorphism eligible as "condition" in ITE construct. More... | |
GDDD | eval (const GDDD &d) const |
The computation function responsible for evaluation over a node. More... | |
void | mark () const |
For garbage collection. Used in first phase of garbage collection. More... | |
size_t | hash () const |
Hash key computation. More... | |
bool | operator== (const _GHom &s) const |
Comparator. More... | |
GHom | negate () const |
returns a negation of a selector homomorphism h, such that h.negate() (d) = d - h(d) More... | |
GDDD | has_image (const GDDD &d) const |
_GHom * | clone () const |
void | print (std::ostream &os) const |
GDDD | has_image_skip (const GDDD &) const |
virtual GHom | invert (const GDDD &) const |
returns the predescessor homomorphism, using pot to determine variable domains More... | |
bool | operator< (const _GHom &h) const |
Ordering between _GHom. It is the chronological ordering of creation. More... | |
virtual GHom | compose (const GHom &r) const |
Static Public Member Functions | |
static const _GHom * | get_concret (const GHom &ghom) |
Private Member Functions | |
GDDD | eval_skip (const GDDD &) const |
Private Attributes | |
GHom | cond_ |
int | refCounter |
For garbage collection. More... | |
bool | marking |
For garbage collection. More... | |
bool | immediat |
For operation cache management. More... | |
size_t | creation_counter |
Counter of objects created (see constructors). More... | |
Friends | |
GHom | operator! (const GHom &) |
A negation/complement constructor for selector homomophisms. More... | |
Reimplemented in _VarCompVar, and _VarCompState.
References GHom::id, and GDDD::null.
Referenced by _VarCompState::compose(), _VarCompVar::compose(), and GHom::compose().
The computation function responsible for evaluation over a node.
Users should not directly use this. Normal behavior is to use GShom::operator() that encapsulates this call with operation caching.
Implements _GHom.
References cond_, GDDD::null, GDDD::one, and GDDD::top.
References GDDD::begin(), GDDD::end(), _GHom::eval(), GHom::id, GDDD::null, GDDD::one, _GHom::skip_variable(), GDDD::top, and GDDD::variable().
Referenced by GHom::eval().
References GHom::concret.
Referenced by Add::Add(), addCompositionParameter(), _VarCompState::compose(), _VarCompVar::compose(), And::eval(), Fixpoint::eval(), Fixpoint::has_image(), Inter::skip_variable(), skip_variable(), Add::skip_variable(), Monotonic::skip_variable(), Compose::skip_variable(), RightConcat::skip_variable(), and Fixpoint::skip_variable().
|
inlinevirtual |
The range returns the dual of skip_variable, default implem considers that all variables are affected by this homomorphism.
Reimplemented from _GHom.
References cond_, and GHom::get_range().
Reimplemented from _GHom.
References cond_, GHom::has_image(), GHom::negate(), and GDDD::null.
References GDDD::begin(), GDDD::end(), _GHom::has_image(), GHom::has_image(), GHom::id, GDDD::null, GDDD::one, _GHom::skip_variable(), GDDD::top, and GDDD::variable().
|
inlinevirtual |
Hash key computation.
It is essential for good hash table operation that the spread of the keys be as good as possible. Also, fast hash key computation is a good design goal. Note that bad hash functions will yield more collisions, thus equality comparisons which may be quite costly.
Implements _GHom.
References cond_, and GHom::hash().
returns the predescessor homomorphism, using pot to determine variable domains
Reimplemented in _incVar, _setVarConst, Fixpoint, Minus, And, Compose, Monotonic, Add, Inter, Mult, Apply2k, Constant, and Identity.
References _GHom::GHom, _GHom::is_selector(), GDDD::null, and _GHom::print().
Referenced by GHom::invert().
|
inlinevirtual |
|
inlinevirtual |
For garbage collection. Used in first phase of garbage collection.
Reimplemented from _GHom.
References cond_, and GHom::mark().
|
inlinevirtual |
|
inherited |
Ordering between _GHom. It is the chronological ordering of creation.
References _GHom::creation_counter.
|
inlinevirtual |
|
inlinevirtual |
The skip_variable predicate indicates which variables are "don't care" with respect to this SHom.
This is defined as a StrongHom with : phi(var,val) { if ( skip_variable(var) ) return GShom( var, val, this ); else { real behavior } }
Reimplemented from _GHom.
References cond_, _GHom::get_concret(), and _GHom::skip_variable().
A negation/complement constructor for selector homomophisms.
Let cond be a selector, !cond(d) = d - cond(d) PITFALL : Raises an assert violation if is_selector() returns false !
|
private |
Referenced by eval(), get_range(), has_image(), hash(), mark(), negate(), operator==(), print(), and skip_variable().
|
privateinherited |
Counter of objects created (see constructors).
This is used for the ordering between homomorphisms.
Referenced by _GHom::_GHom(), and _GHom::operator<().
|
mutableprivateinherited |
For operation cache management.
If immediat==true, eval is called without attempting a cache hit. Currently only the constant homomorphism has this attribute set to true.
Referenced by GHom::operator()().
|
mutableprivateinherited |
For garbage collection.
Used in the two phase garbage collection process. A Hom that is not marked after the first pass over the unicity table, will be sweeped in the second phase. Outside of garbage collection routine, marking should always bear the value false.
Referenced by GHom::garbage(), and GHom::mark().
|
mutableprivateinherited |
For garbage collection.
Counts the number of times a _GShom is referenced from the context of an Shom.
Referenced by Hom::Hom(), Hom::operator=(), GHom::refCounter(), and Hom::~Hom().