Enum Body 

pub enum Body<'a> {
    List {
        op: ListOp,
        atoms: Vec<Located<'a, Atom<'a>>>,
    },
    Impl {
        antecedent: Vec<Located<'a, Literal<'a>>>,
        consequent: Vec<Located<'a, Literal<'a>>>,
    },
}

The body of an AXIOM or RULE.

Variants

List

EXCLUSIVE/FORBIDS/ONEOF/ATLEAST over >= 2 atoms.

Fields

op: ListOp

Which list constraint this is.

atoms: Vec<Located<'a, Atom<'a>>>

The atoms it ranges over (the parser guarantees at least two).

Impl

WHEN ... [AND ...] THEN ... [AND ...] — antecedent + consequent literals.

Fields

antecedent: Vec<Located<'a, Literal<'a>>>

WHEN/AND conditions; all must hold (logical AND).

consequent: Vec<Located<'a, Literal<'a>>>

THEN/AND results that follow when the antecedent holds.

Trait Implementations

impl<'a> Clone for Body<'a>

fn clone(&self) -> Body<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Body<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for Body<'a>

fn eq(&self, other: &Body<'a>) -> 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<'a> StructuralPartialEq for Body<'a>