Trait moore_svlog::resolver::AsScopedNode

pub trait AsScopedNode<'a> {
    fn get_scoped_node(&self) -> Option<&'a dyn ScopedNode<'a>>;

    fn is_scoped_node(&self) -> bool { ... }
}

Anything that can be converted to a ScopedNode.

Required methods

fn get_scoped_node(&self) -> Option<&'a dyn ScopedNode<'a>>

Return this node as a ScopedNode, or None if it generates no scope.

Provided methods

fn is_scoped_node(&self) -> bool

Check if this node is a ScopedNode.

Implementors

impl<'a> AsScopedNode<'a> for AllNode<'a>