Enum clingo::SymbolType

pub enum SymbolType {
    Infimum,
    Number,
    String,
    Function,
    Supremum,
}

Enumeration of available symbol types.

Variants

Infimum

The #inf symbol

Number

A numeric symbol, e.g., 1

String

A string symbol, e.g., "a"

Function

A numeric symbol, e.g., c, (1, "a"), or f(1,"a")

Supremum

The #sup symbol

Trait Implementations

impl Debug for SymbolType

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

Formats the value using the given formatter.

impl Copy for SymbolType

impl Clone for SymbolType

fn clone(&self) -> SymbolType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for SymbolType

fn eq(&self, __arg_0: &SymbolType) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.