pub trait ContainsVariables {
// Required method
fn accumulate_mentioned_variables(&self, acc: &mut BTreeSet<Variable>);
// Provided method
fn collect_mentioned_variables(&self) -> BTreeSet<Variable> { ... }
}Required Methods§
fn accumulate_mentioned_variables(&self, acc: &mut BTreeSet<Variable>)
Provided Methods§
fn collect_mentioned_variables(&self) -> BTreeSet<Variable>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".