Type Definition clingo_sys::clingo_signature_t
[−]
[src]
type clingo_signature_t = u64;
Represents a predicate signature.
Signatures have a name and an arity, and can be positive or negative (to represent classical negation).