Struct SymbolicTransition 

pub struct SymbolicTransition {
    abstract_rule: IntervalTARule,
    transition_bdd: BDD,
}

Type to represent a symbolic transition in the 01-CS (ZCS)

Fields

abstract_rule: IntervalTARule

underlying rule of the TA

transition_bdd: BDD

bdd to represent all possible transitions of the 01-CS (ZCS) based on the underlying rule of the TA

Implementations

impl SymbolicTransition

pub fn new(node: BDD, transition: IntervalTARule) -> Self

Creates a new SymbolicTransition.

pub fn abstract_rule(&self) -> &IntervalTARule

return the underlying abstract rule

Trait Implementations

impl Clone for SymbolicTransition

fn clone(&self) -> SymbolicTransition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolicTransition

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

Formats the value using the given formatter.

impl PartialEq for SymbolicTransition

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