Enum CompoundBody 

pub(crate) enum CompoundBody {
    And(Vec<CompoundBody>),
    Or(Vec<CompoundBody>),
    Call {
        tag: String,
        args: Vec<CompoundArg>,
    },
}

The body of a compound property: a boolean tree over primitive-property calls (Call leaves), freely nested via And/Or. The DSL &&/|| grammar permits arbitrary nesting (an And may contain an Or and vice versa), so this is not constrained to DNF; expand_compound_body recurses over whatever shape was parsed.

Variants

And(Vec<CompoundBody>)

Or(Vec<CompoundBody>)

Call

Fields

tag: String

args: Vec<CompoundArg>

Trait Implementations

impl Clone for CompoundBody

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 CompoundBody

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

Formats the value using the given formatter.

impl Eq for CompoundBody

impl PartialEq for CompoundBody

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CompoundBody