abc.ltl.ast
Class EntryExit.Entry

java.lang.Object
  abc.ltl.ast.EntryExit.Entry

All Implemented Interfaces:

EntryExit.EntryExitKind

Enclosing class:

EntryExit

public static class EntryExit.Entry
extends java.lang.Object
implements EntryExit.EntryExitKind

Constructor Summary

EntryExit.Entry()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EntryExit.Entry

public EntryExit.Entry()