Struct FormulaView 

pub struct FormulaView<'a> { /* private fields */ }

Implementations

impl<'a> FormulaView<'a>

pub fn new(data_flow: &'a DataFlowGraph, root: SymbolicValue) -> Self

pub fn print_recursive(&self) -> SymbolId

Trait Implementations

impl<'a> Formula for FormulaView<'a>

type DependencyIter = Map<Neighbors<'a, OperandSide>, fn(NodeIndex) -> usize>

type SymbolIdsIter = Map<NodeIndices, fn(NodeIndex) -> usize>

fn root(&self) -> SymbolId

fn operands(&self, sym: SymbolId) -> (SymbolId, Option<SymbolId>)

fn operand(&self, sym: SymbolId) -> SymbolId

fn dependencies(&self, sym: SymbolId) -> Self::DependencyIter

fn symbol_ids(&self) -> Self::SymbolIdsIter

fn is_operand(&self, sym: SymbolId) -> bool

fn traverse<V, R>( &self, n: SymbolId, visit_map: &mut HashMap<SymbolId, R>, v: &mut V, ) -> R

where V: FormulaVisitor<R>, R: Clone,

impl<'a> Index<usize> for FormulaView<'a>

type Output = Symbol

The returned type after indexing.

fn index(&self, idx: SymbolId) -> &Self::Output

Performs the indexing (container[index]) operation.