Struct WInstance 

pub struct WInstance {
    pub nodes: HashMap<u32, Node>,
    pub arcs: Vec<(u32, u32, Edge)>,
    pub fans: Vec<Fan>,
    pub root: u32,
    pub schema_root: Name,
    pub parent_map: HashMap<u32, u32>,
    pub children_map: HashMap<u32, SmallVec<u32, 4>>,
}

A W-type instance: tree-shaped data conforming to a schema.

Nodes are anchored to schema vertices, connected by arcs that correspond to schema edges. The tree is rooted at root. Precomputed parent_map and children_map enable fast traversal.

Fields

nodes: HashMap<u32, Node>

All nodes keyed by their numeric ID.

arcs: Vec<(u32, u32, Edge)>

Arcs: (parent_id, child_id, schema_edge).

fans: Vec<Fan>

Hyper-edge fans.

root: u32

Root node ID.

schema_root: Name

Schema vertex that the root node is anchored to.

parent_map: HashMap<u32, u32>

Precomputed parent map: child_id -> parent_id.

children_map: HashMap<u32, SmallVec<u32, 4>>

Precomputed children map: parent_id -> child IDs.

Implementations

impl WInstance

pub fn new( nodes: HashMap<u32, Node>, arcs: Vec<(u32, u32, Edge)>, fans: Vec<Fan>, root: u32, schema_root: Name, ) -> Self

Build a new W-type instance, computing parent and children maps from arcs.

pub fn node_count(&self) -> usize

Returns the number of nodes.

pub fn arc_count(&self) -> usize

Returns the number of arcs.

pub fn node(&self, id: u32) -> Option<&Node>

Get a node by ID.

pub fn children(&self, id: u32) -> &[u32]

Get the children of a node.

pub fn parent(&self, id: u32) -> Option<u32>

Get the parent of a node.

Trait Implementations

impl AcsetOps for WInstance

fn restrict( &self, src_schema: &Schema, tgt_schema: &Schema, migration: &CompiledMigration, ) -> Result<Self, RestrictError>

Restrict this instance along a compiled migration.

fn extend( &self, tgt_schema: &Schema, migration: &CompiledMigration, ) -> Result<Self, RestrictError>

Extend (left Kan extension, Sigma_F) this instance along a migration.

fn element_count(&self) -> usize

Returns the number of top-level elements (nodes, rows, or vertices).

fn shape_name(&self) -> &'static str

Returns the shape name as a static string.

impl Clone for WInstance

fn clone(&self) -> WInstance

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WInstance

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WInstance

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ElementOps for WInstance

fn fiber(&self, vertex: &Name) -> Vec<u32>

Fiber selection: all elements over schema vertex v.

fn pushforward(&self, elements: &[u32], edge_kind: &Name) -> Vec<u32>

Relational pushforward along a schema edge.

fn stalk(&self, element_id: u32) -> Env

Stalk projection: observable data at element x.

fn eval_graph_builtin( &self, op: BuiltinOp, args: &[Literal], context: Option<u32>, ) -> Result<Literal, ExprError>

Evaluate a graph traversal builtin at an element.

fn attributes(&self, element_id: u32) -> HashMap<String, Value>

Attribute map: all observable fields at element x.

fn sort(&self, element_id: u32) -> Option<Name>

Sort of element x: the schema vertex v such that x ∈ F(v).

fn element_value(&self, element_id: u32) -> Option<FieldPresence>

Leaf value at element x, if present.

impl From<WInstance> for Instance

fn from(w: WInstance) -> Self

Converts to this type from the input type.

impl Serialize for WInstance

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.