Struct ExprGraph 

pub struct ExprGraph { /* private fields */ }

Topologically ordered, serializable representation of an Expr DAG.

Implementations

impl ExprGraph

pub fn with_parameters<N, I>(&self, updates: I) -> ParamResult<Self>

where N: AsRef<str>, I: IntoIterator<Item = (N, ParameterUpdate)>,

Return a copy of this graph with a batch of parameter updates applied.

Updates are keyed by parameter name and every occurrence of a named scalar parameter is updated. The operation is atomic: duplicate or unknown names, invalid patches, conflicts, and invalid final definitions leave the original graph untouched.

Errors

Returns ParamError when an update is duplicated, unknown, invalid, or leaves parameter definitions in conflict.

pub fn project_tags<'a>(&self, tags: impl IntoIterator<Item = &'a str>) -> Self

Replaces tagged components that match none of tags with zero.

Untagged nodes remain active, and a matching tagged node retains its entire subtree.

Panics

Panics only if an internal graph-rebuild invariant is violated.

pub fn from_parts( root: ExprId, nodes: Vec<ExprNode>, metadata: Vec<ExprMetadata>, ) -> Result<Self, ExprGraphError>

Validates and constructs a graph from its serialized parts.

Child nodes must precede their parents, metadata must have one entry per node, and root must identify an existing node.

Errors

Returns ExprGraphError when the graph is empty, the metadata and node lengths differ, root is invalid, or a child identifier is invalid or does not precede its parent.

pub fn root(&self) -> ExprId

Returns the root node identifier.

pub fn node(&self, id: ExprId) -> Option<&ExprNode>

Returns the node identified by id, if it exists.

pub fn nodes(&self) -> &[ExprNode]

Returns all nodes in topological order.

pub fn metadata(&self, id: ExprId) -> Option<&ExprMetadata>

Returns the metadata associated with id, if it exists.

impl ExprGraph

pub fn display_tree(&self) -> ExprGraphTreeDisplay<'_>

Creates a configurable indented-tree display.

pub fn display_equation(&self) -> ExprGraphEquationDisplay<'_>

Creates a configurable compact-equation display.

pub fn display_latex(&self) -> ExprGraphLatexDisplay<'_>

Creates a configurable LaTeX equation display.

pub fn display_dot(&self) -> ExprGraphDotDisplay<'_>

Creates a configurable Graphviz DOT display.

Trait Implementations

impl Clone for ExprGraph

fn clone(&self) -> ExprGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprGraph

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExprGraph

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ExprGraph

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

Formats the value using the given formatter.

impl Serialize for ExprGraph

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

where __S: Serializer,

Serialize this value into the given Serde serializer.