Enum chalk_parse::ast::Goal

pub enum Goal {
    ForAll(Vec<VariableKind>, Box<Goal>),
    Exists(Vec<VariableKind>, Box<Goal>),
    Implies(Vec<Clause>, Box<Goal>),
    And(Box<Goal>, Vec<Box<Goal>>),
    Not(Box<Goal>),
    Compatible(Box<Goal>),
    Leaf(LeafGoal),
}

Variants

ForAll(Vec<VariableKind>, Box<Goal>)

Exists(Vec<VariableKind>, Box<Goal>)

Implies(Vec<Clause>, Box<Goal>)

And(Box<Goal>, Vec<Box<Goal>>)

Not(Box<Goal>)

Compatible(Box<Goal>)

The compatible { G } syntax

Leaf(LeafGoal)

Trait Implementations

impl Clone for Goal

fn clone(&self) -> Goal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Goal

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

Formats the value using the given formatter.

impl PartialEq for Goal

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Goal

impl StructuralPartialEq for Goal