CppClingo::Input::TheoryTermParser Class Reference

A parser for theory terms. More...

#include <rewrite_context.hh>

Public Member Functions
void	add (Logger &log, TheoryOpDefinition const &def)
	Add a theory operator definition to the term parser.
void	check_operator (Logger &log, String op, Arity arity, Location const &loc) const
	Check if the given operator is in the parse table raising a runtime error if absent.
auto	parse (Logger &log, TheoryTermUnparsed const &term) const -> TheoryTerm
	Parses the given unparsed term, replacing it by nested theory functions.
auto	has_error () const
	Check if there was a parse error.

Detailed Description

A parser for theory terms.

---

The documentation for this class was generated from the following file:

• clingo/input/rewrite/rewrite_context.hh