Struct RulePathReportDto

Source

pub struct RulePathReportDto {Show 19 fields
    pub expectation: String,
    pub relation: Vec<String>,
    pub max_depth: usize,
    pub max_symbols: usize,
    pub max_edges: usize,
    pub max_pairs: usize,
    pub min_coverage: usize,
    pub source_symbols: usize,
    pub target_symbols: usize,
    pub via_symbols: usize,
    pub evaluated_pairs: usize,
    pub explored_symbols: usize,
    pub explored_edges: usize,
    pub depth_limit_reached: bool,
    pub symbol_limit_reached: bool,
    pub edge_limit_reached: bool,
    pub pair_limit_reached: bool,
    pub reasons: Vec<String>,
    pub witness: Vec<RulePathStepDto>,
}

Fields§

§expectation: String§relation: Vec<String>§max_depth: usize§max_symbols: usize§max_edges: usize§max_pairs: usize§min_coverage: usize§source_symbols: usize§target_symbols: usize§via_symbols: usize§evaluated_pairs: usize§explored_symbols: usize§explored_edges: usize§depth_limit_reached: bool§symbol_limit_reached: bool§edge_limit_reached: bool§pair_limit_reached: bool§reasons: Vec<String>§witness: Vec<RulePathStepDto>

RulePathReportDto

Struct RulePathReportDto Copy item path

Fields§

Trait Implementations§

impl Clone for RulePathReportDto

fn clone(&self) -> RulePathReportDto

fn clone_from(&mut self, source: &Self)

impl Debug for RulePathReportDto

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<'de> Deserialize<'de> for RulePathReportDto

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Eq for RulePathReportDto

impl PartialEq for RulePathReportDto

fn eq(&self, other: &RulePathReportDto) -> bool

fn ne(&self, other: &Rhs) -> bool

impl Serialize for RulePathReportDto

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl StructuralPartialEq for RulePathReportDto

Auto Trait Implementations§

impl Freeze for RulePathReportDto

impl RefUnwindSafe for RulePathReportDto

impl Send for RulePathReportDto

impl Sync for RulePathReportDto

impl Unpin for RulePathReportDto

impl UnsafeUnpin for RulePathReportDto

impl UnwindSafe for RulePathReportDto

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct RulePathReportDto

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,