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>;
}