Struct Signature 

pub struct Signature(/* private fields */);

Represents a predicate signature.

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

Implementations

impl Signature

pub fn new( name: &str, arity: u32, positive: bool, ) -> Result<Signature, ClingoError>

Create a new signature.

Arguments

• name - name of the signature
• arity - arity of the signature
• positive - false if the signature has a classical negation sign

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc
• ClingoError::NulError - if name contains a nul byte

pub fn name(&self) -> Result<&'static str, Utf8Error>

Get the name of a signature. Note: The string is internalized and valid for the duration of the process.

pub fn arity(self) -> u32

Get the arity of a signature.

pub fn is_positive(self) -> bool

Whether the signature is positive (is not classically negated).

pub fn is_negative(self) -> bool

Whether the signature is negative (is classically negated).

Trait Implementations

impl Clone for Signature

fn clone(&self) -> Signature

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Signature

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Signature

fn hash<H: Hasher>(&self, state: &mut H)

Calculate a hash code of a signature.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Signature

fn eq(&self, other: &Signature) -> bool

Check if two signatures are equal.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Signature

fn partial_cmp(&self, other: &Signature) -> Option<Ordering>

Compare two signatures.

Signatures are compared first by sign (unsigned < signed), then by arity, then by name.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Signature

impl Eq for Signature