FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
libfdr
include
fdr
assertions
behaviour
explicit_divergence_behaviour.h
1
#pragma once
2
3
#include <fdr/assertions/behaviour/behaviour.h>
4
5
namespace
FDR
6
{
7
namespace
Assertions
8
{
12
class
ExplicitDivergenceBehaviour
:
public
Behaviour
13
{
14
public
:
15
ExplicitDivergenceBehaviour
(
const
std::shared_ptr<LTS::Machine>&
machine
,
16
const
std::vector<std::shared_ptr<LTS::Node>>&
node_path
,
17
const
std::vector<LTS::CompiledEvent>& events);
18
};
19
20
}
// end Assertions
21
}
// end FDR
FDR::Assertions::Behaviour::node_path
const std::vector< std::shared_ptr< LTS::Node > > & node_path() const
The sequence of nodes leading to the behaviour.
FDR::Assertions::Behaviour
A particular path through a Machine, often leading to an interesting state.
Definition:
behaviour.h:22
FDR::Assertions::Behaviour::machine
std::shared_ptr< LTS::Machine > machine() const
The machine in which the behaviour occurs.
FDR::Assertions::ExplicitDivergenceBehaviour
A path to a state that is marked as explicitly divergent.
Definition:
explicit_divergence_behaviour.h:13
Generated on Mon May 11 2020 18:30:17 for FDR by
1.8.18