buddy/src/bdd.h

178   opHit        & entries found in the operator caches \\
179   opMiss       & entries not found in the operator caches \\
199 SECTION {* operator *}
397 #define BDD_OP (-12)      /* Unknown operator */
433    bdd operator=(const bdd &r);
435    bdd operator&(const bdd &r) const;
436    bdd operator&=(const bdd &r);
437    bdd operator^(const bdd &r) const;
438    bdd operator^=(const bdd &r);
439    bdd operator|(const bdd &r) const;
440    bdd operator|=(const bdd &r);
441    bdd operator!(void) const;
442    bdd operator>>(const bdd &r) const;
443    bdd operator>>=(const bdd &r);
444    bdd operator-(const bdd &r) const;
445    bdd operator-=(const bdd &r);
446    bdd operator>(const bdd &r) const;
447    bdd operator<(const bdd &r) const;
448    bdd operator<<(const bdd &r) const;
449    bdd operator<<=(const bdd &r);
450    int operator==(const bdd &r) const;
451    int operator!=(const bdd &r) const;
457    bdd operator=(BDD r);
514    friend std::ostream &operator<<(std::ostream &, const bdd &);
736 inline bdd bdd::operator&(const bdd &r) const
739 inline bdd bdd::operator&=(const bdd &r)
742 inline bdd bdd::operator^(const bdd &r) const
745 inline bdd bdd::operator^=(const bdd &r)
748 inline bdd bdd::operator|(const bdd &r) const
751 inline bdd bdd::operator|=(const bdd &r)
754 inline bdd bdd::operator!(void) const
757 inline bdd bdd::operator>>(const bdd &r) const
760 inline bdd bdd::operator>>=(const bdd &r)
763 inline bdd bdd::operator-(const bdd &r) const
766 inline bdd bdd::operator-=(const bdd &r)
769 inline bdd bdd::operator>(const bdd &r) const
772 inline bdd bdd::operator<(const bdd &r) const
775 inline bdd bdd::operator<<(const bdd &r) const
778 inline bdd bdd::operator<<=(const bdd &r)
781 inline int bdd::operator==(const bdd &r) const
784 inline int bdd::operator!=(const bdd &r) const
805    friend std::ostream &operator<<(std::ostream &, const bdd_ioformat &);
806    friend std::ostream &operator<<(std::ostream &, const bdd &);
809 std::ostream &operator<<(std::ostream &, const bdd &);
810 std::ostream &operator<<(std::ostream &, const bdd_ioformat &);