: Class ModstateList

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

modcheck
Class ModstateList

java.lang.Object
  |
  +--absynt.Absyn
        |
        +--modcheck.ModstateList

Liste von Modelchecker-Zustaenden

Fields inherited from class absynt.Absyn

location

Constructor Summary
`ModstateList(Modstate s, ModstateList sl)`

Methods inherited from class java.lang.Object

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

Field Detail

public Modstate head

public ModstateList next

Constructor Detail

public ModstateList(Modstate s,
                    ModstateList sl)

Method Detail

public boolean hasMoreElements()

public java.lang.Object nextElement()