Counterexample(const Counterexample &) (defined in FDR::Assertions::Counterexample) | FDR::Assertions::Counterexample | |
Counterexample() (defined in FDR::Assertions::Counterexample) | FDR::Assertions::Counterexample | [protected] |
implementation_behaviour() const | FDR::Assertions::RefinementCounterexample | |
operator=(const Counterexample &) (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::RefinementCounterexample | [protected] |
specification_behaviour() const | FDR::Assertions::RefinementCounterexample | |
~Counterexample() (defined in FDR::Assertions::Counterexample) | FDR::Assertions::Counterexample | [virtual] |