Note
You are not reading the most recent version of this documentation.
BehaviouralInstance
Internal constructor
fromProtobuf
hasStateMachine
Does this have a state machine?
instanceOf
The node that this is an instance of.
isComponentInstance
Is this an instance of a component?
isPortInstance
Is this an instance of a port?
name
The name of this instance.
topLevelInstance
The instance of Counterexample::top_level_instances() that owns this.