Public Member Functions | |
| DLVResultGrammar (ParserState &state) | |
Data Fields | |
| qi::rule< Iterator, ascii::space_type > | dlvline |
| qi::rule< Iterator, ascii::space_type > | answerset |
| qi::rule< Iterator, ascii::space_type > | fact |
| qi::rule< Iterator, ascii::space_type > | costline |
| qi::rule< Iterator, ID(), ascii::space_type > | groundterm |
| qi::rule< Iterator, std::string(), ascii::space_type > | ident |
| qi::rule< Iterator, Tuple(), ascii::space_type > | params |
| ParserState & | state |
Detailed Description
template<typename Iterator>
struct DLVResultGrammar< Iterator >
Definition at line 302 of file DLVresultParserDriver.cpp.
Constructor & Destructor Documentation
| DLVResultGrammar< Iterator >::DLVResultGrammar | ( | ParserState & | state | ) | [inline] |
- Todo:
- : do not throw away weak answer set information but store it
Definition at line 305 of file DLVresultParserDriver.cpp.
References DLVResultGrammar< Iterator >::answerset, DLVResultGrammar< Iterator >::costline, DLVResultGrammar< Iterator >::dlvline, DLVResultGrammar< Iterator >::fact, DLVResultGrammar< Iterator >::groundterm, DLVResultGrammar< Iterator >::ident, and DLVResultGrammar< Iterator >::params.
Field Documentation
| qi::rule<Iterator, ascii::space_type> DLVResultGrammar< Iterator >::answerset |
Definition at line 350 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| qi::rule<Iterator, ascii::space_type> DLVResultGrammar< Iterator >::costline |
Definition at line 350 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| qi::rule<Iterator, ascii::space_type> DLVResultGrammar< Iterator >::dlvline |
Definition at line 350 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| qi::rule<Iterator, ascii::space_type> DLVResultGrammar< Iterator >::fact |
Definition at line 350 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| qi::rule<Iterator, ID(), ascii::space_type> DLVResultGrammar< Iterator >::groundterm |
Definition at line 354 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| qi::rule<Iterator, std::string(), ascii::space_type> DLVResultGrammar< Iterator >::ident |
Definition at line 355 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| qi::rule<Iterator, Tuple(), ascii::space_type> DLVResultGrammar< Iterator >::params |
Definition at line 356 of file DLVresultParserDriver.cpp.
Referenced by DLVResultGrammar< Iterator >::DLVResultGrammar().
| ParserState& DLVResultGrammar< Iterator >::state |
Definition at line 358 of file DLVresultParserDriver.cpp.
The documentation for this struct was generated from the following file:
