Struct ConstraintJustification 

pub struct ConstraintJustification {
    pub entities: Vec<EntityRef>,
    pub description: String,
}

Fields

entities: Vec<EntityRef>

description: String

Implementations

impl ConstraintJustification

pub fn new(entities: Vec<EntityRef>) -> Self

pub fn with_description(entities: Vec<EntityRef>, description: String) -> Self

Trait Implementations

impl Clone for ConstraintJustification

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 ConstraintJustification

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

Formats the value using the given formatter.