pub struct ParallelValidationEngine { /* private fields */ }Expand description
Parallel validation engine
Implementations§
Source§impl ParallelValidationEngine
impl ParallelValidationEngine
Sourcepub fn new(config: ParallelValidationConfig) -> Self
pub fn new(config: ParallelValidationConfig) -> Self
Create a new parallel validation engine
Sourcepub fn validate_parallel(
&mut self,
store: &dyn Store,
shapes: &IndexMap<ShapeId, Shape>,
focus_nodes: &[Term],
) -> Result<ParallelValidationResult>
pub fn validate_parallel( &mut self, store: &dyn Store, shapes: &IndexMap<ShapeId, Shape>, focus_nodes: &[Term], ) -> Result<ParallelValidationResult>
Validate constraints in parallel
Sourcepub fn get_stats(&self) -> WorkerPoolStats
pub fn get_stats(&self) -> WorkerPoolStats
Get current worker pool statistics
Sourcepub fn get_active_worker_count(&self) -> usize
pub fn get_active_worker_count(&self) -> usize
Get number of active workers
Sourcepub fn update_config(&mut self, config: ParallelValidationConfig)
pub fn update_config(&mut self, config: ParallelValidationConfig)
Update configuration
Trait Implementations§
Auto Trait Implementations§
impl Freeze for ParallelValidationEngine
impl RefUnwindSafe for ParallelValidationEngine
impl Send for ParallelValidationEngine
impl Sync for ParallelValidationEngine
impl Unpin for ParallelValidationEngine
impl UnsafeUnpin for ParallelValidationEngine
impl UnwindSafe for ParallelValidationEngine
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.