Trait smt2parser::visitors::ConstantVisitor [−][src]
pub trait ConstantVisitor { type T; type E; fn visit_numeral_constant(
&mut self,
value: Numeral
) -> Result<Self::T, Self::E>; fn visit_decimal_constant(
&mut self,
value: Decimal
) -> Result<Self::T, Self::E>; fn visit_hexadecimal_constant(
&mut self,
value: Hexadecimal
) -> Result<Self::T, Self::E>; fn visit_binary_constant(
&mut self,
value: Binary
) -> Result<Self::T, Self::E>; fn visit_string_constant(
&mut self,
value: String
) -> Result<Self::T, Self::E>; }
Associated Types
Required methods
fn visit_hexadecimal_constant(
&mut self,
value: Hexadecimal
) -> Result<Self::T, Self::E>