CppClingo::Input::TheoryTermUnparsed Class Reference

An unparsed theory term. More...

#include <theory.hh>

Inheritance diagram for CppClingo::Input::TheoryTermUnparsed:

Public Member Functions
	TheoryTermUnparsed (Location loc, UnparsedElementArray elems)
	Construct an unparsed theory term.
auto	loc () const -> Location const &
	The location of the symbol.
auto	elems () const -> UnparsedElementArray const &
	The vector of elements.
Public Member Functions inherited from CppClingo::Util::Record::Base< Rec >
template<auto tag>
auto	get_value () const -> decltype(auto)
	Get the attribute with the given tag.
template<class... Args> requires ValidArguments<Rec, Args...>
auto	update (Args &&...args) const
	See update_record().
template<class... Args> requires ValidArguments<Rec, Args...>
auto	rewrite (Args &&...args) const
	See rewrite_record().
auto	equal (Base const &other) const -> bool
	Equality compare to records.
auto	compare (Base const &other) const -> std::strong_ordering
	Compare to records.
auto	hash () const -> size_t
	Compute the hash of the record.

Static Public Member Functions
static constexpr auto	attributes ()
	The record attributes.

Detailed Description

An unparsed theory term.

The priorities and associativities of the operators have not yet been applied. They are simply stored as a list.

For example: - X ++ Y << Z.

---

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

• clingo/input/theory.hh