Struct TransitionBuilder 

pub struct TransitionBuilder { /* private fields */ }

Builder for constructing Transition instances.

Implementations

impl TransitionBuilder

pub fn new(name: impl Into<Arc<str>>) -> Self

pub fn input(self, spec: In) -> Self

Add a single input specification.

pub fn inputs(self, specs: Vec<In>) -> Self

Add multiple input specifications.

pub fn output(self, spec: Out) -> Self

Set the output specification.

pub fn inhibitor(self, inh: Inhibitor) -> Self

Add an inhibitor arc.

pub fn inhibitors(self, inhs: Vec<Inhibitor>) -> Self

Add multiple inhibitor arcs.

pub fn read(self, r: Read) -> Self

Add a read arc.

pub fn reads(self, rs: Vec<Read>) -> Self

Add multiple read arcs.

pub fn reset(self, r: Reset) -> Self

Add a reset arc.

pub fn resets(self, rs: Vec<Reset>) -> Self

Add multiple reset arcs.

pub fn timing(self, timing: Timing) -> Self

Set timing specification.

pub fn action(self, action: BoxedAction) -> Self

Set the transition action.

pub fn priority(self, priority: i32) -> Self

Set priority (higher fires first).

pub fn build(self) -> Transition

Build the transition.

Panics

Panics if ForwardInput references a non-input place.