Enum SExpr

pub enum SExpr {
    SpecConstant(Literal),
    Symbol(String),
    Reserved(String),
    Keyword(String),
    SExprList(Vec<SExpr>),
}

Enumeration representing a symbolic expression for SyGuS parsing that encapsulates various expression components.

Defines distinct variants to represent a literal constant, a symbol identifier, a reserved string, a keyword, and a nested list of symbolic expressions. This facilitates structured representation of parsed expressions and enables handling of both atomic and compound constructs within the SyGuS language.

Variants

SpecConstant(Literal)

Symbol(String)

Reserved(String)

Keyword(String)

SExprList(Vec<SExpr>)

Trait Implementations

impl Clone for SExpr

fn clone(&self) -> SExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SExpr

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

Formats the value using the given formatter.