Struct Verify 

#[non_exhaustive]
pub struct Verify {
    pub sampled_points: u32,
    pub unproven_points: u32,
    pub tripwire: bool,
    pub termination: bool,
}

Checks on every application beyond the ones that always run (result width, host veto).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

sampled_points: u32

Evaluate both sides at this many seeded points for every application (0 = off).

unproven_points: u32

… and at this many for rules linked without a proof (0 = off).

tripwire: bool

Reject an application whose sides have incompatible facts.

termination: bool

Reject an application that does not decrease the ground termination order.

Implementations

impl Verify

pub fn with_sampled_points(self, value: u32) -> Self

Sets sampled_points.

pub fn with_unproven_points(self, value: u32) -> Self

Sets unproven_points.

pub fn with_tripwire(self, value: bool) -> Self

Sets tripwire.

pub fn with_termination(self, value: bool) -> Self

Sets termination.

impl Verify

pub fn strict() -> Verify

Every check, with 8 points for every application (for tests and debugging).

Trait Implementations

impl Clone for Verify

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Verify

impl Debug for Verify

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

Formats the value using the given formatter.

impl Default for Verify

fn default() -> Self

Sampled verification (16 points) for unproven rules only.

impl Eq for Verify

impl Hash for Verify

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Verify

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Verify