Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

Cclingo_application	This struct contains a set of functions to customize the clingo application
Cclingo_ast_argument	Struct to define an argument that consists of a name and a type
Cclingo_ast_attribute_names	Struct to map attributes to their string representation
Cclingo_ast_constructor	A lists of required attributes to construct an AST
Cclingo_ast_constructors	Struct to map AST types to lists of required attributes to construct ASTs
Cclingo_ground_program_observer	An instance of this struct has to be registered with a solver to observe ground directives as they are passed to the solver
Cclingo_location	Represents a source code location marking its beginning and end
Cclingo_part	Struct used to specify the program parts that have to be grounded
Cclingo_propagator	An instance of this struct has to be registered with a solver to implement a custom propagator
Cclingo_script	Custom scripting language to run functions during grounding
Cclingo_weighted_literal	A Literal with an associated weight