Enum smt2parser::concrete::Constant [−][src]
pub enum Constant { Numeral(Numeral), Decimal(Decimal), Hexadecimal(Hexadecimal), Binary(Binary), String(String), }
Expand description
Concrete syntax for a constant.
Variants
Numeral(Numeral)
Decimal(Decimal)
Hexadecimal(Hexadecimal)
Binary(Binary)
String(String)
Implementations
Trait Implementations
fn visit_declare_datatype(
&mut self,
symbol: Symbol,
datatype: DatatypeDec
) -> Result<Self::T, Self::E>
fn visit_declare_datatypes(
&mut self,
datatypes: Vec<(Symbol, Numeral, DatatypeDec)>
) -> Result<Self::T, Self::E>
fn visit_declare_fun(
&mut self,
symbol: Symbol,
parameters: Vec<Sort>,
sort: Sort
) -> Result<Self::T, Self::E>
fn visit_define_funs_rec(
&mut self,
funs: Vec<(FunctionDec, Term)>
) -> Result<Self::T, Self::E>
fn visit_define_sort(
&mut self,
symbol: Symbol,
parameters: Vec<Symbol>,
sort: Sort
) -> Result<Self::T, Self::E>
fn visit_set_info(
&mut self,
keyword: Keyword,
value: AttributeValue
) -> Result<Self::T, Self::E>
fn visit_set_option(
&mut self,
keyword: Keyword,
value: AttributeValue
) -> Result<Self::T, Self::E>
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
fn visit_qual_identifier(
&mut self,
qual_identifier: QualIdentifier
) -> Result<Self::T, Self::E>
fn visit_application(
&mut self,
qual_identifier: QualIdentifier,
arguments: Vec<Self::T>
) -> Result<Self::T, Self::E>
fn visit_let(
&mut self,
var_bindings: Vec<(Symbol, Self::T)>,
term: Self::T
) -> Result<Self::T, Self::E>
Auto Trait Implementations
impl RefUnwindSafe for Constant
impl UnwindSafe for Constant
Blanket Implementations
Mutably borrows from an owned value. Read more