FDR::Assertions::MinAcceptanceBehaviour Class Reference

A Behaviour that events in a state with a disallowed minimal acceptance. More...

#include <min_acceptance_behaviour.h>

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

List of all members.

Public Member Functions

 MinAcceptanceBehaviour (const std::shared_ptr< LTS::Machine > &machine, const std::vector< std::shared_ptr< LTS::Node >> &node_path, const std::vector< LTS::CompiledEvent > &trace, const std::vector< LTS::CompiledEvent > &min_acceptance)
const std::vector
< LTS::CompiledEvent > & 
min_acceptance () const
 The erroneous minimal acceptance.

Detailed Description

A Behaviour that events in a state with a disallowed minimal acceptance.

For example, a deadlock is represented by a minimal acceptance behaviour that ends with a state with a minimal acceptance of an empty set.


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