Note

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

PropertyCounterexample¶

class Cocotec.CocoPlatform.Coco.PropertyCounterexample : public Cocotec.CocoPlatform.Coco.BehaviourCounterexample ¶

Subclassed by Cocotec.CocoPlatform.Coco.DeadlockCounterexample, Cocotec.CocoPlatform.Coco.DeadStateCounterexample, Cocotec.CocoPlatform.Coco.ExceptionCounterexample, Cocotec.CocoPlatform.Coco.IllegalCounterexample, Cocotec.CocoPlatform.Coco.LoopCounterexample, Cocotec.CocoPlatform.Coco.NoTerminationDeadlockCounterexample

Public Functions

Cocotec.CocoPlatform.Coco.BehaviouralInstance TopLevelInstance ()¶