Struct Conflict 

pub struct Conflict {
    pub kind: Kind,
    pub a: ExpId,
    pub b: ExpId,
    pub vars: Vec<VarId>,
    pub situation: Condition,
    pub trigger: Trigger,
    pub winner: Option<ExpId>,
}

Fields

kind: Kind

a: ExpId

For Kind::Invariant, a breaks the invariant b.

b: ExpId

vars: Vec<VarId>

The states they disagree about.

situation: Condition

States where both apply (for an invariant conflict: the states a leaves behind).

trigger: Trigger

The action that sets both off (outcome conflicts).

winner: Option<ExpId>

The exception that settles it.

Implementations

impl Conflict

pub fn involves(&self, x: ExpId, y: ExpId) -> bool

pub fn loser(&self) -> Option<ExpId>

Trait Implementations

impl Clone for Conflict

fn clone(&self) -> Conflict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Conflict

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

Formats the value using the given formatter.