Module smt2::syntax::response

Re-exports

pub use crate::syntax::Symbol;

pub use crate::syntax::Term;

pub use crate::syntax::SortedVar;

pub use crate::syntax::Sort;

pub use crate::syntax::SortDeclaration;

Modules

display

Structs

Declaration	Function declaration. <function_dec> ::= ( ( <sorted_var>* ) )
Definition	Model function definition. <model_response> ::= ( define-fun <function_def> ) | ( define-fun-rec <function_def> ) | ( define-funs-rec ( <function_dec>n+1 ) ( n+1 ) ) <function_def> ::= ( <sorted_var>* )
Model	(get-model) command response. <get_model_response> ::= ( <model_response>* )

Type Definitions

CheckSat

(check-sat) command response. <check_sat_response> ::= sat | unsat | unknown