Package eu.iv4xr.framework.extensions.ltl

Interface ITransition

All Known Implementing Classes:
Buchi.BuchiTransition, GWTransition
public interface ITransition
An LTL formula is evaluated on a sequence of pairs (states,transitions). For the LTL formula, transitions are represented by instances of this interface. Implementing this interface on your class T will allow LTL formulas to be interpreted on instances of T as 'transitions'.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    getId()
    An ID that identifies the transition.

  • Method Details

    • getId

      String getId()
      An ID that identifies the transition.