A behaviour that performs some trace, and then repeats a suffix. More...
#include <loop_behaviour.h>
Public Member Functions | |
LoopBehaviour (const std::shared_ptr< LTS::Machine > &machine, const std::vector< std::shared_ptr< LTS::Node >> &node_path, const std::vector< LTS::CompiledEvent > &trace, const unsigned int loop_index) | |
unsigned int | loop_index () const |
The index at which the trace repeats. |
A behaviour that performs some trace, and then repeats a suffix.
This is used to represent divergences.
unsigned int FDR::Assertions::LoopBehaviour::loop_index | ( | ) | const |
The index at which the trace repeats.
If this method returns i then node_path()[i..) can be appeneded to the end of node_path() repeatably (equally, for trace).