A Behaviour that events in a state with a disallowed minimal acceptance. More...
#include <min_acceptance_behaviour.h>
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. |
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.