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
Visit a concrete constant.
Trait Implementations
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]Deserialize this value from the given Serde deserializer. Read more
fn visit_application(
&mut self,
qual_identifier: QualIdentifier,
arguments: Vec<Self::T>
) -> Self::T
[src]fn visit_attributes(
&mut self,
term: Self::T,
attributes: Vec<(Keyword, AttributeValue)>
) -> Self::T
[src]Auto Trait Implementations
impl RefUnwindSafe for Constant
impl UnwindSafe for Constant
Blanket Implementations
Mutably borrows from an owned value. Read more