FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
3 #include <fdr/assertions/behaviour/behaviour.h>
20 const std::vector<std::shared_ptr<LTS::Node>>&
node_path,
21 const std::vector<LTS::CompiledEvent>&
trace);
const std::vector< std::shared_ptr< LTS::Node > > & node_path() const
The sequence of nodes leading to the behaviour.
A path that is irrelevant to debugging the current counterexample.
Definition: irrelevant_behaviour.h:17
const std::vector< LTS::CompiledEvent > & trace() const
Returns the sequence of events that led to this behaviour.
A particular path through a Machine, often leading to an interesting state.
Definition: behaviour.h:22
std::shared_ptr< LTS::Machine > machine() const
The machine in which the behaviour occurs.