Struct smt2parser::concrete::SyntaxBuilder [−][src]
pub struct SyntaxBuilder;
Expand description
An implementation of Smt2Visitor
that returns concrete syntax values.
Trait Implementations
Returns the “default value” for a type. Read more
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
type T = QualIdentifier
fn visit_parameterized_sort(
&mut self,
identifier: Identifier,
parameters: Vec<Self::T>
) -> Self::T
[src]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 SyntaxBuilder
impl Send for SyntaxBuilder
impl Sync for SyntaxBuilder
impl Unpin for SyntaxBuilder
impl UnwindSafe for SyntaxBuilder
Blanket Implementations
Mutably borrows from an owned value. Read more