Struct LIARule 

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

Rule type of LIAThresholdAutomaton

A rule guarded by a constraint representable in linear arithmetic (see LIAVariableConstraint).

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: LIAVariableConstraint

Guard of the rule

actions: Vec<Action>

Effect of the rule

Implementations

impl LIARule

fn remove_sumvar( self, sv_to_v: &HashMap<WeightedSum<Variable>, Variable>, ) -> Self

Replace the sums of variables in a rule and add the appropriate actions

fn compute_acts_to_add( existing_acts: &[Action], sc: &WeightedSum<Variable>, sv_to_v: &HashMap<WeightedSum<Variable>, Variable>, ) -> HashSet<Action>

Compute all actions that have to be added for the given set of actions and the current sums of variables

impl LIARule

fn get_distinct_thresholds(&self) -> HashSet<Threshold>

Get all distinct thresholds appearing in the guard of the rule

pub fn number_of_thresholds(&self) -> u32

Get the number of thresholds appearing in the guard

pub fn number_of_updates(&self) -> u32

Returns the number of updates in the rule

Trait Implementations

impl Clone for LIARule

fn clone(&self) -> LIARule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LIARule

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

Formats the value using the given formatter.

impl Display for LIARule

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

Formats the value using the given formatter.

impl Hash for LIARule

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 PartialEq for LIARule

fn eq(&self, other: &LIARule) -> 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 RuleDefinition for LIARule

type Action = Action

Type of the actions of the rule

type Guard = LIAVariableConstraint

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) -> &Self::Guard

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.

impl Eq for LIARule

impl StructuralPartialEq for LIARule