Enum smt2parser::visitors::Identifier [−][src]
pub enum Identifier<Symbol = Symbol> {
Simple {
symbol: Symbol,
},
Indexed {
symbol: Symbol,
indices: Vec<Index<Symbol>>,
},
}
Expand description
Concrete identifier.
Variants
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
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<R, V> QualIdentifierVisitor<Identifier<<V as Smt2Visitor>::Symbol>, <V as Smt2Visitor>::Sort> for R where
R: Rewriter<V = V>,
V: Smt2Visitor,
impl<R, V> QualIdentifierVisitor<Identifier<<V as Smt2Visitor>::Symbol>, <V as Smt2Visitor>::Sort> for R where
R: Rewriter<V = V>,
V: Smt2Visitor,
type T = V::QualIdentifier
fn visit_simple_identifier(
&mut self,
identifier: Identifier<V::Symbol>
) -> Result<Self::T, Self::E>
fn visit_sorted_identifier(
&mut self,
identifier: Identifier<V::Symbol>,
sort: V::Sort
) -> Result<Self::T, Self::E>
fn visit_simple_identifier(
&mut self,
_identifier: Identifier<()>
) -> Result<Self::T, Self::E>
fn visit_sorted_identifier(
&mut self,
_identifier: Identifier<()>,
_sort: ()
) -> Result<Self::T, Self::E>
Auto Trait Implementations
impl<Symbol> RefUnwindSafe for Identifier<Symbol> where
Symbol: RefUnwindSafe,
impl<Symbol> Send for Identifier<Symbol> where
Symbol: Send,
impl<Symbol> Sync for Identifier<Symbol> where
Symbol: Sync,
impl<Symbol> Unpin for Identifier<Symbol> where
Symbol: Unpin,
impl<Symbol> UnwindSafe for Identifier<Symbol> where
Symbol: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more