pub struct CrossValidation {
pub consistent: bool,
pub conflicts_detected: u8,
pub conflict_detail: Option<&'static str>,
}Expand description
Result of the cross-system validation stage (Step 3 of Figure 26).
This is the key differentiation: the meta-engine checks that results from multiple paradigm engines are logically consistent with each other before producing a final verdict.
Fields§
§consistent: boolTrue if all paradigm engines reached compatible conclusions.
conflicts_detected: u8Number of inter-paradigm conflicts detected.
conflict_detail: Option<&'static str>Description of the first conflict found, if any.
Implementations§
Trait Implementations§
Source§impl Clone for CrossValidation
impl Clone for CrossValidation
Source§fn clone(&self) -> CrossValidation
fn clone(&self) -> CrossValidation
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for CrossValidation
impl RefUnwindSafe for CrossValidation
impl Send for CrossValidation
impl Sync for CrossValidation
impl Unpin for CrossValidation
impl UnsafeUnpin for CrossValidation
impl UnwindSafe for CrossValidation
Blanket Implementations§
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