Struct CompiledChart 

pub struct CompiledChart { /* private fields */ }

A validated chart flattened into tables for the step kernel.

Implementations

impl CompiledChart

pub fn new(chart: Chart) -> Result<Self, Vec<Violation>>

Validate and compile a chart. Fails with every well-formedness violation.

pub fn chart(&self) -> &Chart

The IR this chart was compiled from.

pub fn datamodel(&self) -> &str

The datamodel name the chart requires ("null" when it names none).

pub fn binding(&self) -> Binding

The binding mode.

pub fn states(&self) -> &[CState]

All states; index ROOT is the root.

pub fn state(&self, i: StateIdx) -> &CState

One state.

pub fn transitions(&self) -> &[CTransition]

All transitions.

pub fn transition(&self, t: TransIdx) -> &CTransition

One transition.

pub fn len(&self) -> usize

The number of states including the root.

pub fn is_empty(&self) -> bool

Whether the chart has no states besides the root (never true for a valid chart).

pub fn index_of(&self, id: &str) -> Option<StateIdx>

The index of the state with this identifier.

pub fn is_descendant(&self, d: StateIdx, a: StateIdx) -> bool

Whether d is a proper descendant of a.

pub fn default_entry(&self, s: StateIdx) -> &[StateIdx]

The resolved default entry of a compound state or the root, as state indices.

pub fn empty_set(&self) -> StateSet

An empty configuration sized for this chart.

pub fn ids(&self, set: &StateSet) -> Vec<String>

State identifiers of a set, in document order.

Trait Implementations

impl Clone for CompiledChart

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledChart

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

Formats the value using the given formatter.