metaSMT 2
Public Member Functions | Public Attributes
metaSMT::SAT::model_grammar< Iterator > Struct Template Reference

#include <model_parser.hpp>

List of all members.

Public Member Functions

 model_grammar ()

Public Attributes

boost::spirit::qi::rule
< Iterator, result_tuple()> 
start
boost::spirit::qi::rule
< Iterator, std::string()> 
result
boost::spirit::qi::rule< Iterator > comment

Detailed Description

template<typename Iterator>
struct metaSMT::SAT::model_grammar< Iterator >

Definition at line 26 of file model_parser.hpp.


Constructor & Destructor Documentation

template<typename Iterator>
metaSMT::SAT::model_grammar< Iterator >::model_grammar ( ) [inline]

Definition at line 28 of file model_parser.hpp.


Member Data Documentation

template<typename Iterator>
boost::spirit::qi::rule<Iterator > metaSMT::SAT::model_grammar< Iterator >::comment

Definition at line 57 of file model_parser.hpp.

template<typename Iterator>
boost::spirit::qi::rule<Iterator, std::string()> metaSMT::SAT::model_grammar< Iterator >::result

Definition at line 56 of file model_parser.hpp.

template<typename Iterator>
boost::spirit::qi::rule<Iterator, result_tuple()> metaSMT::SAT::model_grammar< Iterator >::start

Definition at line 55 of file model_parser.hpp.


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