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