Module smt2parser::concrete

A concrete syntax tree together with building functions (aka parser visitors) and SEXP-printing functions.

Re-exports

pub use crate::visitors::Identifier;

pub use crate::visitors::AttributeValue;

pub use crate::visitors::DatatypeDec;

pub use crate::visitors::FunctionDec;

Structs

Keyword

Concrete keyword.

Symbol

Concrete symbol.

SyntaxBuilder

An implementation of Smt2Visitor that returns concrete syntax values.

Enums

Command

Concrete syntax for a command.

Constant

Concrete syntax for a constant.

Error

QualIdentifier

Concrete syntax for a qualified-identifier.

SExpr

Concrete syntax for an S-expression.

Sort

Concrete syntax for a sort.

Term

Concrete syntax for a term.

Functions

parse_simple_attribute_value

Parse a single-token attribute value.