Note

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

Behaviour¶

class Cocotec.CocoPlatform.Coco.Behaviour¶

Public Functions

List<Cocotec.CocoPlatform.Coco.Value> TopLevelInstances ()¶: The top-level instances that are active in the given behaviour of this counterexample. Each behavioural instance may consist of several other instances.

List<Cocotec.CocoPlatform.Coco.BehaviouralInstance> LeafInstances ()¶

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

List<Cocotec.CocoPlatform.Coco.InstanceNetworkState> States ()¶

bool HasTrailingEvent ()¶

override string ToString ()¶