Struct clingo::Signature

pub struct Signature(_);

Represents a predicate signature.

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

Methods

impl Signature

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

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

• ErrorType::BadAlloc
• NulError - if name contains a nul byte

pub fn ast_statement(&self, Location: Location) -> AstStatement<Signature>

Create a statement for the signature.

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

Get the name of a signature.

Errors

• Utf8Error

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 Debug for Signature

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for Signature

impl Clone for Signature

fn clone(&self) -> Signature

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Signature

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

Check if two signatures are equal.

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

This method tests for !=.

impl Eq for Signature

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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

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

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, 

Feeds a slice of this type into the given [Hasher].