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

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

Counterexample(const Counterexample &)=delete (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexample
Counterexample() (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexampleprotected
implementation_behaviour() constFDR::Assertions::RefinementCounterexample
min_acceptance() constFDR::Assertions::MinAcceptanceCounterexample
MinAcceptanceCounterexample(const std::shared_ptr< Behaviour > &specification, const std::shared_ptr< Behaviour > &implementation) (defined in FDR::Assertions::MinAcceptanceCounterexample)FDR::Assertions::MinAcceptanceCounterexample
operator=(const Counterexample &)=delete (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexample
RefinementCounterexample(const std::shared_ptr< Behaviour > &specification, const std::shared_ptr< Behaviour > &implementation) (defined in FDR::Assertions::RefinementCounterexample)FDR::Assertions::RefinementCounterexampleprotected
specification_behaviour() constFDR::Assertions::RefinementCounterexample
~Counterexample() (defined in FDR::Assertions::Counterexample)FDR::Assertions::Counterexamplevirtual