Enum Expression

pub enum Expression {
    Literal(Literal<ModusTerm>),
    OperatorApplication(Option<SpannedPosition>, Box<Expression>, Operator),
    And(Option<SpannedPosition>, bool, Box<Expression>, Box<Expression>),
    Or(Option<SpannedPosition>, bool, Box<Expression>, Box<Expression>),
}

Represents expressions that could be found in the body of a ModusClause. Each enum variant will have some notion of span and whether it’s negated. False would mean it is negated.

Variants

Literal(Literal<ModusTerm>)

OperatorApplication(Option<SpannedPosition>, Box<Expression>, Operator)

And(Option<SpannedPosition>, bool, Box<Expression>, Box<Expression>)

Or(Option<SpannedPosition>, bool, Box<Expression>, Box<Expression>)

Implementations

impl Expression

pub fn get_spanned_position(&self) -> &Option<SpannedPosition>

pub fn without_position(&self) -> Self

pub fn literals(&self) -> HashSet<Literal<ModusTerm>>

pub fn negate_current(&self) -> Expression

Negates at the current expression level. So, does not apply De Morgan’s laws.

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Display for Expression

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

Formats the value using the given formatter.

impl From<Literal<ModusTerm>> for Expression

fn from(l: Literal<ModusTerm>) -> Self

Converts to this type from the input type.

impl FromStr for Expression

type Err = Vec<Diagnostic<()>>

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Expression

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