CppClingo::Input::CheckTypeResult Struct Reference

Extract additional information while checking the type of a term. More...

#include <analyze.hh>

Public Attributes
bool	has_sign = false
	Whether the term is signed.
Number const *	pos_number = nullptr
	The number represented by the term.
String	identifier
	The identifier represented by the term.

Detailed Description

Extract additional information while checking the type of a term.

See also

Term::check_type()

---

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

• clingo/input/rewrite/analyze.hh