pub enum FolToken {
Unary(UnaryOp),
Binary(BinaryOp),
Quantifier(Quantifier, String),
Atomic(Atom),
Function(FunctionSymbol, Vec<FolToken>),
TokenList(Vec<FolToken>),
}
Expand description
Enum of all possible tokens occurring in a FOL formula string.
Variants§
Unary(UnaryOp)
Binary(BinaryOp)
Quantifier(Quantifier, String)
Atomic(Atom)
Function(FunctionSymbol, Vec<FolToken>)
TokenList(Vec<FolToken>)
Trait Implementations§
impl Eq for FolToken
impl StructuralPartialEq for FolToken
Auto Trait Implementations§
impl Freeze for FolToken
impl RefUnwindSafe for FolToken
impl Send for FolToken
impl Sync for FolToken
impl Unpin for FolToken
impl UnwindSafe for FolToken
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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.