Lines Matching defs:bdd_ioformat
796 class bdd_ioformat
799 bdd_ioformat(int f) { format=f; }
801 bdd_ioformat(void) { }
805 friend std::ostream &operator<<(std::ostream &, const bdd_ioformat &);
810 std::ostream &operator<<(std::ostream &, const bdd_ioformat &);
812 extern bdd_ioformat bddset;
813 extern bdd_ioformat bddtable;
814 extern bdd_ioformat bdddot;
815 extern bdd_ioformat bddall;
816 extern bdd_ioformat fddset;