Struct ModelGraph 

pub struct ModelGraph {
    pub graph: Graph,
    pub values: ValueStore,
    /* private fields */
}

A model presented as a seesaw graph, with the map back.

Fields

graph: Graph

The graph a rule matches over.

values: ValueStore

The values its leaves carry.

Implementations

impl ModelGraph

pub fn of(ast: &Ast) -> Self

Present ast as a graph.

pub fn model_node(&self, ghost: &GhostId) -> Option<NodeId>

The model node a seesaw node came from.

pub fn ghost(&self, node: NodeId) -> Option<GhostId>

The seesaw node a model node became.

pub fn pairs(&self) -> impl Iterator<Item = (GhostId, NodeId)> + '_

Every pairing of seesaw node and model node.

pub fn node_count(&self) -> usize

How many nodes the graph holds.