Enum ExecutableBodyLiteral 

pub enum ExecutableBodyLiteral {
    Positive {
        atom: ExecutableAtom,
    },
    Negative {
        atom: ExecutableAtom,
    },
    Epistemic {
        operator: EpistemicOperator,
        negated: bool,
        atom: ExecutableAtom,
    },
    Comparison {
        left: ExecutableTerm,
        operator: ComparisonOperator,
        right: ExecutableTerm,
    },
    IsExpression {
        target: String,
        expression: ExecutableArithmeticExpression,
    },
    Univ {
        term: ExecutableTerm,
        parts: ExecutableTerm,
    },
}

Complete executable rule-body literal.

Variants

Positive

Fields

atom: ExecutableAtom

Negative

Fields

atom: ExecutableAtom

Epistemic

Fields

operator: EpistemicOperator

negated: bool

atom: ExecutableAtom

Comparison

Fields

left: ExecutableTerm

operator: ComparisonOperator

right: ExecutableTerm

IsExpression

Fields

target: String

expression: ExecutableArithmeticExpression

Univ

Fields

term: ExecutableTerm

parts: ExecutableTerm

Trait Implementations

impl Clone for ExecutableBodyLiteral

fn clone(&self) -> ExecutableBodyLiteral

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutableBodyLiteral

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

Formats the value using the given formatter.

impl Eq for ExecutableBodyLiteral

impl PartialEq for ExecutableBodyLiteral

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutableBodyLiteral

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExecutableBodyLiteral