metaSMT 2
Public Member Functions | Friends
metaSMT::solver::smt2_solver_pipe Struct Reference

#include <SMT2.hpp>

List of all members.

Public Member Functions

 smt2_solver_pipe (std::ofstream &os, std::ofstream &solution_os)
void command (write_comment const &, std::string const &message)
 ~smt2_solver_pipe ()
std::ostream & solver ()
std::istream & result ()
void get_response (std::string &response)
void check_response ()
void print_response ()

Friends

template<typename Obj >
smt2_solver_pipeoperator<< (smt2_solver_pipe &smt, Obj const &o)

Detailed Description

Definition at line 75 of file SMT2.hpp.


Constructor & Destructor Documentation

metaSMT::solver::smt2_solver_pipe::smt2_solver_pipe ( std::ofstream &  os,
std::ofstream &  solution_os 
) [inline]

Definition at line 76 of file SMT2.hpp.

metaSMT::solver::smt2_solver_pipe::~smt2_solver_pipe ( ) [inline]

Definition at line 123 of file SMT2.hpp.


Member Function Documentation

void metaSMT::solver::smt2_solver_pipe::check_response ( ) [inline]

Definition at line 148 of file SMT2.hpp.

void metaSMT::solver::smt2_solver_pipe::command ( write_comment const &  ,
std::string const &  message 
) [inline]

Definition at line 119 of file SMT2.hpp.

void metaSMT::solver::smt2_solver_pipe::get_response ( std::string &  response) [inline]

Definition at line 138 of file SMT2.hpp.

void metaSMT::solver::smt2_solver_pipe::print_response ( ) [inline]

Definition at line 159 of file SMT2.hpp.

std::istream& metaSMT::solver::smt2_solver_pipe::result ( ) [inline]

Definition at line 133 of file SMT2.hpp.

std::ostream& metaSMT::solver::smt2_solver_pipe::solver ( ) [inline]

Definition at line 128 of file SMT2.hpp.


Friends And Related Function Documentation

template<typename Obj >
smt2_solver_pipe& operator<< ( smt2_solver_pipe smt,
Obj const &  o 
) [friend]

Definition at line 180 of file SMT2.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines