BehaviouralInstance¶

class Cocotec.CocoPlatform.Coco.BehaviouralInstance : public Cocotec.CocoPlatform.Coco.StructuredValue¶

Subclassed by Cocotec.CocoPlatform.Coco.ChaoticClientInstance, Cocotec.CocoPlatform.Coco.ComponentInstance, Cocotec.CocoPlatform.Coco.PortInstance

Public Functions

string Name ()¶

The name of this instance.

Cocotec.CocoPlatform.Coco.Node InstanceOf ()¶

The node that this is an instance of.

Cocotec.CocoPlatform.Coco.BehaviouralInstance TopLevelInstance ()¶

The instance of Counterexample::top_level_instances() that owns this.

bool IsPortInstance ()¶

Is this an instance of a port?

bool IsComponentInstance ()¶

Is this an instance of a component?

bool HasStateMachine ()¶

Does this have a state machine?