knowrob::parsers::formula Namespace Reference

Typedefs
using	FormulaRule = boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Formula >(), boost::spirit::ascii::space_type >
using	PredicateRule = boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Predicate >(), boost::spirit::ascii::space_type >

Functions
FormulaRule &	formula ()
PredicateRule &	predicate ()
PredicateRule &	predicate_n ()
PredicateRule &	predicate_0 ()
auto &	parsers ()

Typedef Documentation

FormulaRule

typedef boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Formula >(), boost::spirit::ascii::space_type > knowrob::parsers::formula::FormulaRule

Definition at line 14 of file formula.h.

PredicateRule

typedef boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Predicate >(), boost::spirit::ascii::space_type > knowrob::parsers::formula::PredicateRule

Definition at line 15 of file formula.h.

Function Documentation

formula()

FormulaRule & knowrob::parsers::formula::formula

(

)

Returns

a parser for formulas.

Definition at line 283 of file formula.cpp.

                           {
        return parsers().formula;
    }

parsers()

auto& knowrob::parsers::formula::parsers

(

)

Definition at line 278 of file formula.cpp.

                    {
        static parsers_struct p;
        return p;
    }

predicate()

PredicateRule & knowrob::parsers::formula::predicate

(

)

Returns

a parser for predicates.

Definition at line 221 of file formula.cpp.

                               {
        RETURN_PREDICATE_RULE(predicate_n() | predicate_0());
    }

predicate_0()

PredicateRule& knowrob::parsers::formula::predicate_0

(

)

Definition at line 217 of file formula.cpp.

                                 {
        RETURN_PREDICATE_RULE(str::atom_or_iri() [qi::_val = ptr_<Predicate>()(qi::_1, std::vector<TermPtr>())]);
    }

predicate_n()

PredicateRule& knowrob::parsers::formula::predicate_n

(

)

Definition at line 212 of file formula.cpp.

                                 {
        RETURN_PREDICATE_RULE((str::atom_or_iri() >> '(' >> (term() % ',') >> ')')
                              [qi::_val = ptr_<Predicate>()(qi::_1, qi::_2)]);
    }