Struct smt2::syntax::response::Model

pub struct Model {
    pub sorts: Vec<Located<SortDeclaration>>,
    pub definitions: Vec<Located<Definition>>,
}

(get-model) command response. <get_model_response> ::= ( <model_response>* )

Fields

sorts: Vec<Located<SortDeclaration>>

definitions: Vec<Located<Definition>>

Trait Implementations

impl Display for Model

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

impl Parsable for Model

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Model>> where
    L: Iterator<Item = Result<Located<Token>>>, 

Parse from a lexer. Separators are handled depending on the flavor parameter.