Buchi.BuchiTransition

java.lang.Object

eu.iv4xr.framework.extensions.ltl.Buchi.BuchiTransition

All Implemented Interfaces:: ITransition

Enclosing class:: Buchi

public static class Buchi.BuchiTransition extends Object implements ITransition

Representing a transition in a Buchi automaton.

Field Summary

Fields

Modifier and Type

Field

Description

Predicate<IExplorableState>

condition

The predicate that guard the transition.

String

id

The id of the transition.

String

name

The transition's name.
Constructor Summary

Constructors

Constructor

Description

BuchiTransition()
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
  
  public String id
  
  The id of the transition.
- name
  
  public String name
  
  The transition's name. Useful when printing the transition. It does not have to be unique.
- condition
  
  public Predicate<IExplorableState> condition
  
  The predicate that guard the transition.
Constructor Details
- BuchiTransition
  
  public BuchiTransition()
Method Details
- getId
  
  public String getId()
  
  Description copied from interface: ITransition
  
  An ID that identifies the transition.
  
  Specified by:
  
  getId in interface ITransition