summaryrefslogtreecommitdiff
path: root/src/bindings/java_output_stream_adapter.h
blob: e6f7d6786d95f6715069245a417cd47f81ad6880 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13

namespace CVC4 {

class JavaOutputStreamAdapter {
  std::stringstream d_ss;

public:
  JavaOutputStreamAdapter() { }

  std::string toString() { return d_ss.str(); }

};/* class JavaOutputStreamAdapter */

}/* CVC4 namespace */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback