1 2 3 4 5 6 7 8 9 10 11 12
#include "util/emptyset.h" #include <iostream> using namespace std; namespace CVC4 { std::ostream& operator<<(std::ostream& out, const EmptySet& asa) { return out << "emptyset(" << asa.getType() << ')'; } }/* CVC4 namespace */