Struct ConstraintJustification 

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

Justification for why a constraint matched.

Fields

entities: Vec<EntityRef>

Entities involved in the match.

description: String

Human-readable description of why the constraint matched.

Implementations

impl ConstraintJustification

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

Creates a justification from entities, auto-generating description.

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

Creates a justification with a custom description.

Trait Implementations

impl Clone for ConstraintJustification

fn clone(&self) -> ConstraintJustification

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.