Struct ExclusionConstraintDef 

pub struct ExclusionConstraintDef { /* private fields */ }

Implementations

impl ExclusionConstraintDef

pub fn new(name: impl Into<String>, elements: Vec<ExclusionElementDef>) -> Self

pub fn method(self, method: impl Into<String>) -> Self

pub fn where_expr(self, predicate: impl Into<String>) -> Self

pub fn with_timing(self, timing: ConstraintTiming) -> Self

pub fn name(&self) -> &str

pub fn elements(&self) -> &[ExclusionElementDef]

pub fn method_name(&self) -> &str

pub fn predicate(&self) -> Option<&str>

pub fn timing(&self) -> &ConstraintTiming

Trait Implementations

impl Clone for ExclusionConstraintDef

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExclusionConstraintDef

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

Formats the value using the given formatter.

impl Eq for ExclusionConstraintDef

impl PartialEq for ExclusionConstraintDef

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExclusionConstraintDef