Trait stateright::Rewrite
source · pub trait Rewrite<R> {
// Required method
fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self;
}
Expand description
Implementations can rewrite their instances of the “rewritten” type R
based on a specified
RewritePlan
.
This is used for symmetry reduction when a Model::State
implements Representative
. See
the latter docs for an example.
Required Methods§
sourcefn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self
fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self
Generates a corresponding instance with values revised based on a particular RewritePlan
.