Struct smt2parser::stats::Term [−][src]
Expand description
Statistics about a term.
Fields
tree_depth: usize
tree_size: usize
Trait Implementations
fn visit_declare_datatype(
&mut self,
_symbol: (),
_datatype: DatatypeDec<(), ()>
) -> Result<Self::T, Self::E>
fn visit_declare_datatypes(
&mut self,
_datatypes: Vec<((), Numeral, DatatypeDec<(), ()>)>
) -> Result<Self::T, Self::E>
fn visit_declare_fun(
&mut self,
_symbol: (),
_parameters: Vec<()>,
_sort: ()
) -> Result<Self::T, Self::E>
fn visit_define_fun(
&mut self,
_sig: FunctionDec<(), ()>,
term: Term
) -> Result<Self::T, Self::E>
fn visit_define_fun_rec(
&mut self,
_sig: FunctionDec<(), ()>,
term: Term
) -> Result<Self::T, Self::E>
fn visit_define_funs_rec(
&mut self,
funs: Vec<(FunctionDec<(), ()>, Term)>
) -> Result<Self::T, Self::E>
fn visit_define_sort(
&mut self,
_symbol: (),
_parameters: Vec<()>,
_sort: ()
) -> Result<Self::T, Self::E>
fn visit_set_info(
&mut self,
_keyword: (),
_value: AttributeValue<(), (), ()>
) -> Result<Self::T, Self::E>
fn visit_set_option(
&mut self,
_keyword: (),
_value: AttributeValue<(), (), ()>
) -> Result<Self::T, Self::E>
Auto Trait Implementations
impl RefUnwindSafe for Term
impl UnwindSafe for Term
Blanket Implementations
Mutably borrows from an owned value. Read more