Lines Matching refs:operator
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 &);