Test_BoundedLTL.MyAction

java.lang.Object

eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL.MyAction

All Implemented Interfaces:: ITransition

Enclosing class:: Test_BoundedLTL

static class Test_BoundedLTL.MyAction extends Object implements ITransition

Field Summary

Fields

Modifier and Type

Field

Description

(package private) String

id
Constructor Summary

Constructors

Constructor

Description

MyAction(String id)
Method Summary

Modifier and Type

Method

Description

String

getId()

An ID that identifies the transition.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- id
  
  String id
Constructor Details
- MyAction
  
  MyAction(String id)
Method Details
- getId
  
  public String getId()
  
  Description copied from interface: ITransition
  
  An ID that identifies the transition.
  
  Specified by:
  
  getId in interface ITransition