Language

Data structures and functions to represent groundable expressions. More...

Modules
	Terms
	Data structures and functions to ground terms.
	Literals
	Data structures and functions to ground literals.
	Head Conditional Literals
	Data structures and functions to ground head conditional literals.
	Body Conditional Literals
	Data structures and functions to ground body conditional literals.
	Head Aggregates
	Data structures and functions to ground head aggregates.
	Body Aggregates
	Data structures and functions to ground body aggregates.
	Assignment Aggregates
	Data structures and functions to ground assignment aggregates.
	Theory Atoms
	Data structures and functions to ground theory atoms.
	Statements
	Data structures and functions to ground statements.

Detailed Description

Data structures and functions to represent groundable expressions.