CppClingo::Input::TheoryAtomParser Class Reference

A parser for theory atoms. More...

#include <rewrite_context.hh>

Public Member Functions
void	add_theory (Logger &log, StmTheory const &stm)
	Add a theory statement to the theory atom parser.
template<bool has_sign>
auto	parse (Logger &log, TheoryAtom< has_sign > const &atom, bool fact) const -> std::optional< TheoryAtom< has_sign > >
	Parse the given theory atom.
auto	has_error () const -> bool
	Check if there was a parse error.

Detailed Description

A parser for theory atoms.

---

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

• clingo/input/rewrite/rewrite_context.hh