DDD  1.9.0.20240826145154
Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
NotCond Class Reference
Inheritance diagram for NotCond:
Inheritance graph
Collaboration diagram for NotCond:
Collaboration graph

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
 
_GHomclone () 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 _GHomget_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...
 

Constructor & Destructor Documentation

◆ NotCond()

NotCond::NotCond ( const GHom cond)
inline

Referenced by clone().

Member Function Documentation

◆ clone()

_GHom* NotCond::clone ( ) const
inlinevirtual

Implements _GHom.

References NotCond().

◆ compose()

GHom _GHom::compose ( const GHom r) const
virtualinherited

Reimplemented in _VarCompVar, and _VarCompState.

References GHom::id, and GDDD::null.

Referenced by _VarCompState::compose(), _VarCompVar::compose(), and GHom::compose().

◆ eval()

GDDD NotCond::eval ( const GDDD ) const
inlinevirtual

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.

◆ eval_skip()

GDDD _GHom::eval_skip ( const GDDD d) const
privateinherited

◆ get_concret()

static const _GHom* _GHom::get_concret ( const GHom ghom)
inlinestaticinherited

◆ get_range()

const GHom::range_t NotCond::get_range ( ) const
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().

◆ has_image()

GDDD NotCond::has_image ( const GDDD d) const
inlinevirtual

Reimplemented from _GHom.

References cond_, GHom::has_image(), GHom::negate(), and GDDD::null.

◆ has_image_skip()

GDDD _GHom::has_image_skip ( const GDDD d) const
inherited

◆ hash()

size_t NotCond::hash ( ) const
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().

◆ invert()

virtual GHom _GHom::invert ( const GDDD ) const
inlinevirtualinherited

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().

◆ is_selector()

bool NotCond::is_selector ( ) const
inlinevirtual

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.

Reimplemented from _GHom.

◆ mark()

void NotCond::mark ( ) const
inlinevirtual

For garbage collection. Used in first phase of garbage collection.

Reimplemented from _GHom.

References cond_, and GHom::mark().

◆ negate()

GHom NotCond::negate ( ) const
inlinevirtual

returns a negation of a selector homomorphism h, such that h.negate() (d) = d - h(d)

Reimplemented from _GHom.

References cond_.

◆ operator<()

bool _GHom::operator< ( const _GHom h) const
inherited

Ordering between _GHom. It is the chronological ordering of creation.

References _GHom::creation_counter.

◆ operator==()

bool NotCond::operator== ( const _GHom h) const
inlinevirtual

Comparator.

Used in case of hash collision. Should be appropriately defined in derived classes, in particular in user defined homomorphisms.

Implements _GHom.

References cond_.

◆ print()

void NotCond::print ( std::ostream &  os) const
inlinevirtual

Implements _GHom.

References cond_.

◆ skip_variable()

bool NotCond::skip_variable ( int  ) const
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().

Friends And Related Function Documentation

◆ operator!

GHom operator! ( const GHom )
friend

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 !

Member Data Documentation

◆ cond_

GHom NotCond::cond_
private

◆ creation_counter

size_t _GHom::creation_counter
privateinherited

Counter of objects created (see constructors).

This is used for the ordering between homomorphisms.

Referenced by _GHom::_GHom(), and _GHom::operator<().

◆ immediat

bool _GHom::immediat
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()().

◆ marking

bool _GHom::marking
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().

◆ refCounter

int _GHom::refCounter
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().


The documentation for this class was generated from the following file:

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