Enum TheoryTermType 

pub enum TheoryTermType {
    Tuple = 0,
    List = 1,
    Set = 2,
    Function = 3,
    Number = 4,
    Symbol = 5,
}

Enumeration of theory term types.

Variants

Tuple = 0

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

List = 1

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

Set = 2

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

Function = 3

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

Number = 4

A number term, e.g., 42

Symbol = 5

A symbol term, e.g., c

Trait Implementations

impl Clone for TheoryTermType

fn clone(&self) -> TheoryTermType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TheoryTermType

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

Formats the value using the given formatter.

impl Copy for TheoryTermType