Struct RuleBuilder 

pub struct RuleBuilder {
    rule: Rule,
}

Builder to construct rules for threshold automata

Fields

rule: Rule

Implementations

impl RuleBuilder

pub fn new(id: u32, source: Location, target: Location) -> Self

Create a new rule builder

pub fn with_guard(self, guard: BooleanExpression<Variable>) -> Self

Add a guard to the rule

pub fn with_action(self, action: Action) -> Self

Add an action to the rule

pub fn with_actions(self, actions: impl IntoIterator<Item = Action>) -> Self

Add multiple actions to the rule

pub fn build(self) -> Rule

Complete the build step and construct the rule

Trait Implementations

impl Debug for RuleBuilder

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

Formats the value using the given formatter.

impl PartialEq for RuleBuilder

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for RuleBuilder

impl StructuralPartialEq for RuleBuilder