metaSMT 2
Public Member Functions | Public Attributes
metaSMT::smt2::smt2_result_grammar< Iterator > Struct Template Reference

#include <SMT2_result_grammar.hpp>

List of all members.

Public Member Functions

 smt2_result_grammar ()

Public Attributes

boost::spirit::qi::rule
< Iterator, result_wrapper()> 
start
boost::spirit::qi::rule
< Iterator, result_wrapper()> 
boolean
boost::spirit::qi::rule
< Iterator, result_wrapper()> 
bitvector
boost::spirit::qi::rule
< Iterator, boost::tuple
< unsigned, unsigned >)> 
bvint

Detailed Description

template<typename Iterator>
struct metaSMT::smt2::smt2_result_grammar< Iterator >

Definition at line 15 of file SMT2_result_grammar.hpp.


Constructor & Destructor Documentation

template<typename Iterator >
metaSMT::smt2::smt2_result_grammar< Iterator >::smt2_result_grammar ( ) [inline]

Definition at line 17 of file SMT2_result_grammar.hpp.


Member Data Documentation

template<typename Iterator >
boost::spirit::qi::rule<Iterator, result_wrapper()> metaSMT::smt2::smt2_result_grammar< Iterator >::bitvector

Definition at line 50 of file SMT2_result_grammar.hpp.

template<typename Iterator >
boost::spirit::qi::rule<Iterator, result_wrapper()> metaSMT::smt2::smt2_result_grammar< Iterator >::boolean

Definition at line 50 of file SMT2_result_grammar.hpp.

template<typename Iterator >
boost::spirit::qi::rule<Iterator, boost::tuple<unsigned, unsigned>)> metaSMT::smt2::smt2_result_grammar< Iterator >::bvint

Definition at line 53 of file SMT2_result_grammar.hpp.

template<typename Iterator >
boost::spirit::qi::rule<Iterator, result_wrapper()> metaSMT::smt2::smt2_result_grammar< Iterator >::start

Definition at line 50 of file SMT2_result_grammar.hpp.


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