smtlib_lowlevel

Module ast

Expand description

Generated by cargo xtask ast, do not edit by hand.

Structs§

ConstructorDec: (<symbol> <selector_dec>*)
EchoResponse: <string>
FunctionDec: (<symbol> (<sort>*) <sort>)
FunctionDef: <symbol> (<sorted_var>*) <sort> <term>
GetAssertionsResponse: (<term>*)
GetAssignmentResponse: (<t_valuation_pair>*)
GetInfoResponse: (<info_response>+)
GetModelResponse: (<model_response>*)
GetOptionResponse: <attribute_value>
GetProofResponse: <s_expr>
GetUnsatAssumptionsResponse: (<symbol>*)
GetUnsatCoreResponse: (<symbol>*)
GetValueResponse: (<valuation_pair>+)
Logic: (logic <symbol> <logic_attribute>+)
MatchCase: (<pattern> <term>)
Script: <command>*
SelectorDec: (<symbol> <sort>)
SimplifyResponse: <term>
SortDec: (<symbol> <numeral>)
SortSymbolDecl: (<identifier> <numeral> <attribute>*)
SortedVar: (<symbol> <sort>)
TValuationPair: (<symbol> <b_value>)
TheoryDecl: (theory <symbol> <theory_attribute>+)
ValuationPair: (<term> <term>)
VarBinding: (<symbol> <term>)

Enums§