Note

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

BehaviourComparisonCounterexample¶

class Cocotec.CocoPlatform.Coco.BehaviourComparisonCounterexample : public Cocotec.CocoPlatform.Coco.Counterexample ¶

Subclassed by Cocotec.CocoPlatform.Coco.EventuallyCounterexample, Cocotec.CocoPlatform.Coco.IllegalLegalOverlapCounterexample, Cocotec.CocoPlatform.Coco.RefinementCounterexample

Public Functions

Cocotec.CocoPlatform.Coco.Behaviour Behaviour1 ()¶

Cocotec.CocoPlatform.Coco.Behaviour Behaviour2 ()¶