Enum moore_svlog_syntax::ast::PropBinOp
source · [−]pub enum PropBinOp {
Or,
And,
Until,
SUntil,
UntilWith,
SUntilWith,
Impl,
Iff,
SeqImplOl,
SeqImplNol,
SeqFollowOl,
SeqFollowNol,
}
Variants
Or
And
Until
SUntil
UntilWith
SUntilWith
Impl
Iff
SeqImplOl
SeqImplNol
SeqFollowOl
SeqFollowNol
Trait Implementations
sourceimpl<'a> AcceptVisitor<'a> for PropBinOp
impl<'a> AcceptVisitor<'a> for PropBinOp
sourceimpl<'a> ForEachChild<'a> for PropBinOp
impl<'a> ForEachChild<'a> for PropBinOp
sourcefn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
Apply a function to each child node.
sourceimpl<'a> ForEachNode<'a> for PropBinOp
impl<'a> ForEachNode<'a> for PropBinOp
sourcefn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
fn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
Apply a function to this node.
sourceimpl<'a> WalkVisitor<'a> for PropBinOp
impl<'a> WalkVisitor<'a> for PropBinOp
impl Copy for PropBinOp
impl Eq for PropBinOp
impl StructuralEq for PropBinOp
impl StructuralPartialEq for PropBinOp
Auto Trait Implementations
impl RefUnwindSafe for PropBinOp
impl Send for PropBinOp
impl Sync for PropBinOp
impl Unpin for PropBinOp
impl UnwindSafe for PropBinOp
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more