clingo_signature Struct Reference

Represents a predicate signature. More...

#include <base.h>

Public Attributes
char const *	name
	the name
size_t	size
	the size of the name
size_t	arity
	the arity
bool	is_positive
	whether the signature is positive

Detailed Description

Represents a predicate signature.

Signatures have a name and an arity, and can be positive or negative (to represent classical negation).

Examples

backend.c.

---

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

• clingo/base.h