alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

[buddy]

Browse source 
* src/bdd.h: Make all inplace operators return a reference.
This commit is contained in:
Alexandre Duret-Lutz 2012-12-20 16:42:33 +01:00
parent 13c41ee773
commit 15c9b72f13
1 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

32
buddy/src/bdd.h
View file

@ -461,23 +461,23 @@ class bdd
int id(void) const; int id(void) const;
bdd operator=(const bdd &r); bdd& operator=(const bdd &r);
bdd operator&(const bdd &r) const; bdd operator&(const bdd &r) const;
bdd operator&=(const bdd &r); bdd& operator&=(const bdd &r);
bdd operator^(const bdd &r) const; bdd operator^(const bdd &r) const;
bdd operator^=(const bdd &r); bdd& operator^=(const bdd &r);
bdd operator|(const bdd &r) const; bdd operator|(const bdd &r) const;
bdd operator|=(const bdd &r); bdd& operator|=(const bdd &r);
bdd operator!(void) const; bdd operator!(void) const;
bdd operator>>(const bdd &r) const; bdd operator>>(const bdd &r) const;
bdd operator>>=(const bdd &r); bdd& operator>>=(const bdd &r);
bdd operator-(const bdd &r) const; bdd operator-(const bdd &r) const;
bdd operator-=(const bdd &r); bdd& operator-=(const bdd &r);
bdd operator>(const bdd &r) const; bdd operator>(const bdd &r) const;
bdd operator<(const bdd &r) const; bdd operator<(const bdd &r) const;
bdd operator<<(const bdd &r) const; bdd operator<<(const bdd &r) const;
bdd operator<<=(const bdd &r); bdd& operator<<=(const bdd &r);
int operator==(const bdd &r) const; int operator==(const bdd &r) const;
int operator!=(const bdd &r) const; int operator!=(const bdd &r) const;
@ -485,7 +485,7 @@ private:
BDD root; BDD root;
bdd(BDD r) { root=r; if (root > 1) bdd_addref_nc(root); } bdd(BDD r) { root=r; if (root > 1) bdd_addref_nc(root); }
bdd operator=(BDD r); bdd& operator=(BDD r);
friend int bdd_init(int, int); friend int bdd_init(int, int);
friend int bdd_setvarnum(int); friend int bdd_setvarnum(int);
@ -808,19 +808,19 @@ inline int bdd::id(void) const
inline bdd bdd::operator&(const bdd &r) const inline bdd bdd::operator&(const bdd &r) const
{ return bdd_apply(*this,r,bddop_and); } { return bdd_apply(*this,r,bddop_and); }
inline bdd bdd::operator&=(const bdd &r) inline bdd& bdd::operator&=(const bdd &r)
{ return (*this=bdd_apply(*this,r,bddop_and)); } { return (*this=bdd_apply(*this,r,bddop_and)); }
inline bdd bdd::operator^(const bdd &r) const inline bdd bdd::operator^(const bdd &r) const
{ return bdd_apply(*this,r,bddop_xor); } { return bdd_apply(*this,r,bddop_xor); }
inline bdd bdd::operator^=(const bdd &r) inline bdd& bdd::operator^=(const bdd &r)
{ return (*this=bdd_apply(*this,r,bddop_xor)); } { return (*this=bdd_apply(*this,r,bddop_xor)); }
inline bdd bdd::operator|(const bdd &r) const inline bdd bdd::operator|(const bdd &r) const
{ return bdd_apply(*this,r,bddop_or); } { return bdd_apply(*this,r,bddop_or); }
inline bdd bdd::operator|=(const bdd &r) inline bdd& bdd::operator|=(const bdd &r)
{ return (*this=bdd_apply(*this,r,bddop_or)); } { return (*this=bdd_apply(*this,r,bddop_or)); }
inline bdd bdd::operator!(void) const inline bdd bdd::operator!(void) const
@ -829,13 +829,13 @@ inline bdd bdd::operator!(void) const
inline bdd bdd::operator>>(const bdd &r) const inline bdd bdd::operator>>(const bdd &r) const
{ return bdd_apply(*this,r,bddop_imp); } { return bdd_apply(*this,r,bddop_imp); }
inline bdd bdd::operator>>=(const bdd &r) inline bdd& bdd::operator>>=(const bdd &r)
{ return (*this=bdd_apply(*this,r,bddop_imp)); } { return (*this=bdd_apply(*this,r,bddop_imp)); }
inline bdd bdd::operator-(const bdd &r) const inline bdd bdd::operator-(const bdd &r) const
{ return bdd_apply(*this,r,bddop_diff); } { return bdd_apply(*this,r,bddop_diff); }
inline bdd bdd::operator-=(const bdd &r) inline bdd& bdd::operator-=(const bdd &r)
{ return (*this=bdd_apply(*this,r,bddop_diff)); } { return (*this=bdd_apply(*this,r,bddop_diff)); }
inline bdd bdd::operator>(const bdd &r) const inline bdd bdd::operator>(const bdd &r) const
@ -847,7 +847,7 @@ inline bdd bdd::operator<(const bdd &r) const
inline bdd bdd::operator<<(const bdd &r) const inline bdd bdd::operator<<(const bdd &r) const
{ return bdd_apply(*this,r,bddop_invimp); } { return bdd_apply(*this,r,bddop_invimp); }
inline bdd bdd::operator<<=(const bdd &r) inline bdd& bdd::operator<<=(const bdd &r)
{ return (*this=bdd_apply(*this,r,bddop_invimp)); } { return (*this=bdd_apply(*this,r,bddop_invimp)); }
inline int bdd::operator==(const bdd &r) const inline int bdd::operator==(const bdd &r) const
@ -856,7 +856,7 @@ inline int bdd::operator==(const bdd &r) const
inline int bdd::operator!=(const bdd &r) const inline int bdd::operator!=(const bdd &r) const
{ return r.root!=root; } { return r.root!=root; }
inline bdd bdd::operator=(const bdd &r) inline bdd& bdd::operator=(const bdd &r)
{ {
if (__likely(root != r.root)) if (__likely(root != r.root))
{ {
@ -869,7 +869,7 @@ inline bdd bdd::operator=(const bdd &r)
return *this; return *this;
} }
inline bdd bdd::operator=(int r) inline bdd& bdd::operator=(int r)
{ {
if (__likely(root != r)) if (__likely(root != r))
{ {