Struct TransitionSystem 

pub struct TransitionSystem { /* private fields */ }

A definition type that instances new [CsModelRun].

Implementations

impl TransitionSystem

pub fn new(cs: ChannelSystem) -> Self

Creates a new [CsModel] from a [ChannelSystemBuilder].

pub fn add_port( &mut self, channel: Channel, value: Vec<Val>, ) -> Result<(), TsError>

Adds a new port to the [CsModel], which is given by an Channel and a default Val value.

pub fn add_predicate( &mut self, predicate: BooleanExpr<Atom>, ) -> Result<(), TsError>

Adds a new predicate to the [CsModel], which is an expression over the CS’s channels.

pub fn shrink(&mut self)

Shrink ports storage to optimize space use. To be called after having added all ports.

pub fn new_run(&self) -> TransitionSystemRun<'_>

Generates an executable run of the model.

Trait Implementations

impl Clone for TransitionSystem

fn clone(&self) -> TransitionSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransitionSystem

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

Formats the value using the given formatter.