Struct TransferFunction 

pub struct TransferFunction {
    pub name: String,
    pub effects: Vec<TransferEffect>,
}

A transfer function maps an abstract state at a point to the next point.

Fields

name: String

effects: Vec<TransferEffect>

Implementations

impl TransferFunction

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

Create an empty transfer function.

pub fn add_effect(&mut self, effect: TransferEffect)

Add an effect.

pub fn apply(&self, env: &IntervalEnv) -> IntervalEnv

Apply the transfer function to an environment.

pub fn effect_count(&self) -> usize

Return the number of effects.