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)
Tuple Fields of Numeral
0: Numeral
Decimal(Decimal)
Tuple Fields of Decimal
0: Decimal
Hexadecimal(Hexadecimal)
Tuple Fields of Hexadecimal
0: Hexadecimal
Binary(Binary)
Tuple Fields of Binary
0: Binary
String(String)
Tuple Fields of String
0: String
Implementations
Trait Implementations
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
Auto Trait Implementations
impl RefUnwindSafe for Constant
impl UnwindSafe for Constant
Blanket Implementations
Mutably borrows from an owned value. Read more