Enum clingo::TheoryTermType

pub enum TheoryTermType {
    Tuple,
    List,
    Set,
    Function,
    Number,
    Symbol,
}

Enumeration of theory term types.

Variants

Tuple

A tuple term, e.g., (1,2,3)

List

A list term, e.g., [1,2,3]

Set

A set term, e.g., {1,2,3}

Function

A function term, e.g., f(1,2,3)

Number

A number term, e.g., 42

Symbol

A symbol term, e.g., c

Trait Implementations

impl Debug for TheoryTermType

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

Formats the value using the given formatter.

impl Copy for TheoryTermType

impl Clone for TheoryTermType

fn clone(&self) -> TheoryTermType

Returns a copy of the value.

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

Performs copy-assignment from source.