FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
FDR::Assertions::DivergenceCounterexample Member List

This is the complete list of members for FDR::Assertions::DivergenceCounterexample, including all inherited members.

behaviour() constFDR::Assertions::PropertyCounterexample
Counterexample(const Counterexample &)=delete (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexample
Counterexample() (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexampleprotected
DivergenceCounterexample(const std::shared_ptr< Behaviour > &behaviour) (defined in FDR::Assertions::DivergenceCounterexample)FDR::Assertions::DivergenceCounterexample
operator=(const Counterexample &)=delete (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexample
PropertyCounterexample(const std::shared_ptr< Behaviour > &behaviour) (defined in FDR::Assertions::PropertyCounterexample)FDR::Assertions::PropertyCounterexampleprotected
~Counterexample() (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexamplevirtual