FDR::Assertions::LoopBehaviour Class Reference

A behaviour that performs some trace, and then repeats a suffix. More...

#include <loop_behaviour.h>

Inheritance diagram for FDR::Assertions::LoopBehaviour:
Inheritance graph
[legend]
Collaboration diagram for FDR::Assertions::LoopBehaviour:
Collaboration graph
[legend]

List of all members.

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.

Detailed Description

A behaviour that performs some trace, and then repeats a suffix.

This is used to represent divergences.


Member Function Documentation

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).


The documentation for this class was generated from the following file:
 All Classes Functions

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1