Skip to main content

LocalClassifier

Type Alias LocalClassifier 

Source
pub type LocalClassifier<'t> = Box<dyn for<'s> Fn(Expression<'s>) -> bool + 't>;
Expand description

Decides whether a name read by an inline constraint resolves in the scope of the randomize() call (a local, LRM 18.7) rather than in the randomized object’s class; see Builder::set_local_classifier.

Aliased Type§

pub struct LocalClassifier<'t>(/* private fields */);