Note

You are not reading the most recent version of this documentation.

BaseMissingSignalCounterexample¶

class Cocotec.CocoPlatform.Coco.BaseMissingSignalCounterexample : public Cocotec.CocoPlatform.Coco.RefinementCounterexample ¶

Subclassed by Cocotec.CocoPlatform.Coco.DivergenceMissingSignalCounterexample, Cocotec.CocoPlatform.Coco.MissingSignalCounterexample

Public Functions

List<Cocotec.CocoPlatform.Coco.Event> SpecExpectedSignals ()¶