Literals

Data structures and functions to represent simple literals. More...

Classes
class	CppClingo::Input::Signed
	Simple class with a sign. More...
class	CppClingo::Input::Unsigned
	Simple class without a sign. More...
class	CppClingo::Input::LitBool
	Literal representing a Boolean constant. More...
class	CppClingo::Input::LitComparison
	Literal representing a relation literal. More...
class	CppClingo::Input::LitSymbolic
	Literal representing a symbolic literal. More...
class	CppClingo::Input::CondLit
	A conditional literal. More...

Typedefs
using	CppClingo::Input::Guard = std::pair< Relation, Term >
	The right-hand-side of a relation atom including the symbol.
using	CppClingo::Input::GuardArray = Util::immutable_array< Guard >
	A vector of guards.
using	CppClingo::Input::Lit = std::variant< LitBool, LitComparison, LitSymbolic >
	Variant holding the different literal types.
using	CppClingo::Input::LitArray = Util::immutable_array< Lit >
	A vector of literals.

Detailed Description

Data structures and functions to represent simple literals.