21 #ifndef _GRINGO_PRINTABLE_HH
22 #define _GRINGO_PRINTABLE_HH
32 virtual void print(std::ostream &
out)
const = 0;
45 #endif // _GRINGO_PRINTABLE_HH
Definition: printable.hh:30
virtual void print(std::ostream &out) const =0
std::ostream & operator<<(std::ostream &out, NAF naf)
Definition: base.hh:97
int x
Definition: utility.cc:65
virtual ~Printable()
Definition: printable.hh:33
LparseOutputter & out
Definition: output.cc:685