Enum VerifyGivenDomain 

pub enum VerifyGivenDomain {
    IntRange {
        start: i64,
        end: i64,
    },
    Explicit(Vec<Expr>),
}

Variants

IntRange

Integer range domain in verify law: 1..50 (inclusive).

Fields

start: i64

end: i64

Explicit(Vec<Expr>)

Explicit domain values in verify law: [v1, v2, ...].

Trait Implementations

impl Clone for VerifyGivenDomain

fn clone(&self) -> VerifyGivenDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyGivenDomain

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

Formats the value using the given formatter.

impl PartialEq for VerifyGivenDomain

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for VerifyGivenDomain