Struct morae::ACSet

pub struct ACSet {
    pub S: Vec<Specie>,
    pub T: Vec<ACSetTransition>,
    pub I: Vec<InputArc>,
    pub O: Vec<OutputArc>,
}

Fields

S: Vec<Specie>

T: Vec<ACSetTransition>

I: Vec<InputArc>

O: Vec<OutputArc>

Implementations

impl ACSet

pub fn from_file(filepath: &str) -> ACSet

Equation to Petri net algorithm (taken from https://arxiv.org/pdf/2206.03269.pdf)

M(S) is the set of monomials m: T -> M(S) The ODEs corresponding to a Petri net can be written as follows: \dot{x_i} = \sum_{y} f(i, y)m(y) where f(i, y) are integers such that f(i, y) + e(i, y) is a natural number.

e(i, y): T -> N is a function representing the exponent of species i in monomial corresponding to transition y. For each transition y, draw e(i, y) arrows from specie x_i to transition y. Finally, for each transition y, draw n(i, y) = f(i, y) + e(i, y) arrows from y to x_i.

This function returns a JSON serializable representation of an ACSet for TA2 teams to consume.

pub fn to_graph(&self) -> Graph<PetriNetElement, usize>

Construct a graph object from an ACSet

pub fn to_dot(&self) -> String

Construct a graph from an ACSet object and output it to DOT format for visualization and debugging.

Trait Implementations

impl Clone for ACSet

fn clone(&self) -> ACSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ACSet

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

Formats the value using the given formatter.

impl Default for ACSet

fn default() -> ACSet

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ACSet

fn deserialize<__D>( __deserializer: __D ) -> Result<ACSet, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Vec<Math>> for ACSet

fn from(mathml_asts: Vec<Math>) -> ACSet

Converts to this type from the input type.

impl JsonSchema for ACSet

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Ord for ACSet

fn cmp(&self, other: &ACSet) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for ACSet

fn eq(&self, other: &ACSet) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for ACSet

fn partial_cmp(&self, other: &ACSet) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for ACSet

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'__s> ToSchema<'__s> for ACSet

fn schema() -> (&'__s str, RefOr<Schema>)

Return a tuple of name and schema or reference to a schema that can be referenced by the name or inlined directly to responses, request bodies or parameters.

fn aliases() -> Vec<(&'__s str, Schema)>

Optional set of alias schemas for the ToSchema::schema.

impl Eq for ACSet

impl StructuralPartialEq for ACSet