Struct Rule 

pub struct Rule {
    id: u32,
    source: Location,
    target: Location,
    guard: BooleanVarConstraint,
    actions: Vec<Action>,
}

Rule type for a GeneralThresholdAutomaton

This type represents the rules appearing in a GeneralThresholdAutomaton.

Fields

id: u32

Id assigned to the rule in the specification

source: Location

Source location of the rule

target: Location

Target location of the rule

guard: BooleanVarConstraint

Guards of the rule

actions: Vec<Action>

Effect of the rule

Implementations

impl Rule

pub fn transform_guard<F: FnMut(&mut BooleanVarConstraint)>(&mut self, t: F)

Apply a transformation to the guard of the rule

A transformation in this case is a function that mutates a BooleanVarConstraint.

pub fn retain_actions<F: Fn(&Action) -> bool>(&mut self, f: F)

Retains only the actions specified by the predicate.

In other words, it will remove all elements e for which f(&e) returns false. This method operates in place, visiting each element exactly once in the original order, and preserves the order of the retained elements.

pub fn update_target(&mut self, loc: Location)

Updates the target location

Needed for the Preprocessor CollapseLocations

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl Display for Rule

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

Formats the value using the given formatter.

impl Eq for Rule

impl Hash for Rule

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Rule

fn cmp(&self, other: &Rule) -> 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,

Restrict a value to a certain interval.

impl PartialEq for Rule

fn eq(&self, other: &Self) -> 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 PartialOrd for Rule

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl RuleDefinition for Rule

type Action = Action

Type of the actions of the rule

type Guard = BooleanExpression<Variable>

Type of the guard of the rule

fn id(&self) -> u32

Returns the id of the rule

fn source(&self) -> &Location

Returns the source location of the rule

fn target(&self) -> &Location

Returns the target location of the rule

fn guard(&self) -> &BooleanVarConstraint

Returns the guard of the rule

fn actions(&self) -> impl Iterator<Item = &Self::Action>

Returns the actions of the rule

fn has_decrements(&self) -> bool

Check whether the rule has a decrement action

fn has_resets(&self) -> bool

Check whether the rule has a reset action

impl TryFrom<&Rule> for LIARule

fn try_from(rule: &Rule) -> Result<Self, Self::Error>

Try to convert a rule into a LIARule.

A rule can be converted into a LIARule if the guard is a linear arithmetic formula. This means for example that it does not contain any multiplications between variables

This function will return an LIATransformationError if the guard is no linear arithmetic formula.

type Error = LIATransformationError

The type returned in the event of a conversion error.

impl TryFrom<Rule> for LIARule

type Error = LIATransformationError

The type returned in the event of a conversion error.

fn try_from(value: Rule) -> Result<Self, Self::Error>

Performs the conversion.