Trait bytecode::dataflow_domains::AbstractDomain
source · pub trait AbstractDomain {
// Required method
fn join(&mut self, other: &Self) -> JoinResult;
}
Expand description
A trait to be implemented by domains which support a join.