Struct DataSpecification

pub struct DataSpecification { /* private fields */ }

A safe abstraction for the mCRL2 data specification.

Implementations

impl DataSpecification

pub fn new(text: &str) -> Result<Self, Exception>

Parses the given text into a data specification

pub fn parse(&self, text: &str) -> Result<DataExpression, Box<dyn Error>>

Parses the given text as a data expression for the spec.

pub fn parse_variable(&self, text: &str) -> Result<DataVariable, Box<dyn Error>>

Parses the given text as a data variable for the spec.

pub fn equations(&self) -> Vec<DataEquation>

Returns the equations of the data specification.

pub fn constructors( &self, sort: &SortExpressionRef<'_>, ) -> Vec<DataFunctionSymbol>

Returns the constructors for the given sort expression.

Trait Implementations

impl Clone for DataSpecification

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.