pub trait Initialiser<const FORWARD: bool, const ID: u8> {
type Value: Debug;
// Required methods
fn direction() -> Direction;
fn base(&mut self, node: &Node, parser: &Z3Parser) -> Self::Value;
fn assign(&mut self, node: &mut Node, value: Self::Value);
// Provided method
fn reset(&mut self) { ... }
}Expand description
FORWARD: Do a forward or reverse topological walk?
Required Associated Types§
Required Methods§
Sourcefn base(&mut self, node: &Node, parser: &Z3Parser) -> Self::Value
fn base(&mut self, node: &Node, parser: &Z3Parser) -> Self::Value
The starting value for a node.
fn assign(&mut self, node: &mut Node, value: Self::Value)
Provided Methods§
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.