pub enum Role {
Conjecture,
NegatedConjecture,
Other,
}
Expand description
Formula role.
Variants§
Implementations§
source§impl Role
impl Role
sourcepub fn quantifier(&self) -> Quantifier
pub fn quantifier(&self) -> Quantifier
Unquantified variables in formulas of the role are implicitly quantified with the returned quantifier.
Trait Implementations§
source§impl From<FormulaRole<'_>> for Role
impl From<FormulaRole<'_>> for Role
source§fn from(role: FormulaRole<'_>) -> Self
fn from(role: FormulaRole<'_>) -> Self
Converts to this type from the input type.
source§impl PartialEq<Role> for Role
impl PartialEq<Role> for Role
impl Eq for Role
impl StructuralEq for Role
impl StructuralPartialEq for Role
Auto Trait Implementations§
impl RefUnwindSafe for Role
impl Send for Role
impl Sync for Role
impl Unpin for Role
impl UnwindSafe for Role
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