Struct IntervalTARule 

pub struct IntervalTARule {
    pub(crate) id: u32,
    pub(crate) source: Location,
    pub(crate) target: Location,
    pub(crate) guard: IntervalConstraint,
    pub(crate) actions: Vec<IntervalTAAction>,
}

Interval abstracted rule

Rule of the abstract threshold automaton with an interval guard

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

Guard of the rule

actions: Vec<IntervalTAAction>

Effect of the rule

Implementations

impl IntervalTARule

pub fn new( id: u32, source: Location, target: Location, guard: IntervalConstraint, effect: Vec<IntervalTAAction>, ) -> IntervalTARule

Creates a new abstract Rule for testing purposes

pub fn updates_variable(&self, var: &Variable) -> bool

Check if the rule updates the given variable

pub fn get_guard(&self) -> &IntervalConstraint

Returns the guard of the rule

pub fn is_enabled( &self, state: &IntervalState<Variable>, ) -> Result<bool, IntervalOrderError<Variable>>

Check whether the rule is enabled in the given state

pub(crate) fn from_lia_rule<O: IntervalOrderFor<Variable> + IntervalOrderFor<WeightedSum<Variable>>>( rule: &LIARule, order: &O, ) -> IntervalTARule

Derive an interval rule from a rule of a linear integer arithmetic rule given a fixed order

Trait Implementations

impl Clone for IntervalTARule

fn clone(&self) -> IntervalTARule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntervalTARule

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

Formats the value using the given formatter.

impl Display for IntervalTARule

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

Formats the value using the given formatter.

impl Hash for IntervalTARule

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 IntervalTARule

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

type Action = IntervalTAAction

Type of the actions of the rule

type Guard = IntervalConstraint

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 Eq for IntervalTARule

impl StructuralPartialEq for IntervalTARule