Detailed Description

Add non-ground program representations (ASTs) to logic programs or extend the ground (aspif) program.

For an example about ground logic programs, see backend.c. For an example about non-ground logic programs, see ast.c and the Abstract Syntax Trees module.

Classes
struct	clingo_weighted_literal
	A Literal with an associated weight. More...

Typedefs
typedef int	clingo_heuristic_type_t
	Corresponding type to clingo_heuristic_type.

typedef int	clingo_external_type_t
	Corresponding type to clingo_external_type.

typedef struct clingo_weighted_literal	clingo_weighted_literal_t
	A Literal with an associated weight.

typedef struct clingo_backend	clingo_backend_t
	Handle to the backend to add directives in aspif format.

typedef struct clingo_program_builder	clingo_program_builder_t
	Object to build non-ground programs.

Enumerations
enum	clingo_heuristic_type { clingo_heuristic_type_level = 0, clingo_heuristic_type_sign = 1, clingo_heuristic_type_factor = 2, clingo_heuristic_type_init = 3, clingo_heuristic_type_true = 4, clingo_heuristic_type_false = 5 }
	Enumeration of different heuristic modifiers. More...

enum	clingo_external_type { clingo_external_type_free = 0, clingo_external_type_true = 1, clingo_external_type_false = 2, clingo_external_type_release = 3 }
	Enumeration of different external statements. More...

Functions
bool	clingo_backend_rule (clingo_backend_t backend, bool choice, clingo_atom_t const head, size_t head_size, clingo_literal_t const *body, size_t body_size)
	Add a rule to the program. More...

bool	clingo_backend_weight_rule (clingo_backend_t backend, bool choice, clingo_atom_t const head, size_t head_size, clingo_weight_t lower_bound, clingo_weighted_literal_t const *body, size_t body_size)
	Add a weight rule to the program. More...

bool	clingo_backend_minimize (clingo_backend_t backend, clingo_weight_t priority, clingo_weighted_literal_t const literals, size_t size)
	Add a minimize constraint (or weak constraint) to the program. More...

bool	clingo_backend_project (clingo_backend_t backend, clingo_atom_t const atoms, size_t size)
	Add a projection directive. More...

bool	clingo_backend_external (clingo_backend_t *backend, clingo_atom_t atom, clingo_external_type_t type)
	Add an external statement. More...

bool	clingo_backend_assume (clingo_backend_t backend, clingo_literal_t const literals, size_t size)
	Add an assumption directive. More...

bool	clingo_backend_heuristic (clingo_backend_t backend, clingo_atom_t atom, clingo_heuristic_type_t type, int bias, unsigned priority, clingo_literal_t const condition, size_t size)
	Add an heuristic directive. More...

bool	clingo_backend_acyc_edge (clingo_backend_t backend, int node_u, int node_v, clingo_literal_t const condition, size_t size)
	Add an edge directive. More...

bool	clingo_backend_add_atom (clingo_backend_t backend, clingo_atom_t atom)
	Get a fresh atom to be used in aspif directives. More...

bool	clingo_program_builder_begin (clingo_program_builder_t *builder)
	Begin building a program. More...

bool	clingo_program_builder_add (clingo_program_builder_t builder, clingo_ast_statement_t const statement)
	Adds a statement to the program. More...

bool	clingo_program_builder_end (clingo_program_builder_t *builder)
	End building a program. More...

Enumeration Type Documentation

enum clingo_external_type

Enumeration of different external statements.

Enumerator
clingo_external_type_free	allow an external to be assigned freely
clingo_external_type_true	assign an external to true
clingo_external_type_false	assign an external to false
clingo_external_type_release	no longer treat an atom as external

enum clingo_heuristic_type

Enumeration of different heuristic modifiers.

Enumerator
clingo_heuristic_type_level	set the level of an atom
clingo_heuristic_type_sign	configure which sign to chose for an atom
clingo_heuristic_type_factor	modify VSIDS factor of an atom
clingo_heuristic_type_init	modify the initial VSIDS score of an atom
clingo_heuristic_type_true	set the level of an atom and choose a positive sign
clingo_heuristic_type_false	set the level of an atom and choose a negative sign

Function Documentation

bool clingo_backend_acyc_edge	(	clingo_backend_t *	backend,
		int	node_u,
		int	node_v,
		clingo_literal_t const *	condition,
		size_t	size
	)

Add an edge directive.

Parameters

[in]	backend	the target backend
[in]	node_u	the start vertex of the edge
[in]	node_v	the end vertex of the edge
[in]	condition	the condition under which the edge is part of the graph
[in]	size	the number of atoms in the condition

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

bool clingo_backend_add_atom	(	clingo_backend_t *	backend,
		clingo_atom_t *	atom
	)

Get a fresh atom to be used in aspif directives.

Parameters

[in]	backend	the target backend
[out]	atom	the resulting atom

Returns: whether the call was successful

Examples:: backend.c.

bool clingo_backend_assume	(	clingo_backend_t *	backend,
		clingo_literal_t const *	literals,
		size_t	size
	)

Add an assumption directive.

Parameters

[in]	backend	the target backend
[in]	literals	the literals to assume (positive literals are true and negative literals false for the next solve call)
[in]	size	the number of atoms

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

Examples:: theory-atoms.c.

bool clingo_backend_external	(	clingo_backend_t *	backend,
		clingo_atom_t	atom,
		clingo_external_type_t	type
	)

Add an external statement.

Parameters

[in]	backend	the target backend
[in]	atom	the external atom
[in]	type	the type of the external statement

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

bool clingo_backend_heuristic	(	clingo_backend_t *	backend,
		clingo_atom_t	atom,
		clingo_heuristic_type_t	type,
		int	bias,
		unsigned	priority,
		clingo_literal_t const *	condition,
		size_t	size
	)

Add an heuristic directive.

Parameters

[in]	backend	the target backend
[in]	atom	the target atom
[in]	type	the type of the heuristic modification
[in]	bias	the heuristic bias
[in]	priority	the heuristic priority
[in]	condition	the condition under which to apply the heuristic modification
[in]	size	the number of atoms in the condition

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

bool clingo_backend_minimize	(	clingo_backend_t *	backend,
		clingo_weight_t	priority,
		clingo_weighted_literal_t const *	literals,
		size_t	size
	)

Add a minimize constraint (or weak constraint) to the program.

Parameters

[in]	backend	the target backend
[in]	priority	the priority of the constraint
[in]	literals	the weighted literals whose sum to minimize
[in]	size	the number of weighted literals

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

bool clingo_backend_project	(	clingo_backend_t *	backend,
		clingo_atom_t const *	atoms,
		size_t	size
	)

Add a projection directive.

Parameters

[in]	backend	the target backend
[in]	atoms	the atoms to project on
[in]	size	the number of atoms

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

bool clingo_backend_rule	(	clingo_backend_t *	backend,
		bool	choice,
		clingo_atom_t const *	head,
		size_t	head_size,
		clingo_literal_t const *	body,
		size_t	body_size
	)

Add a rule to the program.

Parameters

[in]	backend	the target backend
[in]	choice	determines if the head is a choice or a disjunction
[in]	head	the head atoms
[in]	head_size	the number of atoms in the head
[in]	body	the body literals
[in]	body_size	the number of literals in the body

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

Examples:: backend.c.

bool clingo_backend_weight_rule	(	clingo_backend_t *	backend,
		bool	choice,
		clingo_atom_t const *	head,
		size_t	head_size,
		clingo_weight_t	lower_bound,
		clingo_weighted_literal_t const *	body,
		size_t	body_size
	)

Add a weight rule to the program.

Attention: All weights and the lower bound must be positive.

Parameters

[in]	backend	the target backend
[in]	choice	determines if the head is a choice or a disjunction
[in]	head	the head atoms
[in]	head_size	the number of atoms in the head
[in]	lower_bound	the lower bound of the weight rule
[in]	body	the weighted body literals
[in]	body_size	the number of weighted literals in the body

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_bad_alloc

bool clingo_program_builder_add	(	clingo_program_builder_t *	builder,
		clingo_ast_statement_t const *	statement
	)

Adds a statement to the program.

Attention: clingo_program_builder_begin() must be called before adding statements and clingo_program_builder_end() must be called after all statements have been added.

Parameters

builder	the target program builder
statement	the statement to add

Returns

whether the call was successful; might set one of the following error codes:

clingo_error_runtime for statements of invalid form
clingo_error_bad_alloc

Examples:: ast.c.

bool clingo_program_builder_begin ( clingo_program_builder_t * builder )

Begin building a program.

Parameters

builder the target program builder

Returns: whether the call was successful

Examples:: ast.c.

bool clingo_program_builder_end ( clingo_program_builder_t * builder )

End building a program.

Parameters

builder the target program builder

Returns: whether the call was successful

Examples:: ast.c.

Detailed Description

Classes

Typedefs

Enumerations

Functions

Enumeration Type Documentation

Function Documentation