Trait libpatron::ir::GetNode

pub trait GetNode<D: ?Sized, I: Clone + Copy> {
    // Required method
    fn get(&self, reference: I) -> &D;
}

Lookup an IR node from the context

Required Methods

fn get(&self, reference: I) -> &D

Lookup the value by the reference obtained from a call to add

Implementors

impl GetNode<Expr, ExprRef> for Context

impl GetNode<str, &StringRef> for Context

impl GetNode<str, StringRef> for Context

impl GetNode<SignalInfo, ExprRef> for TransitionSystem

impl GetNode<State, StateRef> for TransitionSystem