Enum chalk_parse::ast::Goal
source · 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§
source§impl PartialEq for Goal
impl PartialEq for Goal
impl Eq for Goal
impl StructuralPartialEq for Goal
Auto Trait Implementations§
impl RefUnwindSafe for Goal
impl Send for Goal
impl Sync for Goal
impl Unpin for Goal
impl UnwindSafe for Goal
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more