: Class Modstate

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 Modstate

java.lang.Object
  |
  +--modcheck.Modstate

Modstate ist Zustand f?r Modelchecker es besteht aus Astate und VardecList

Constructor Summary
`Modstate(Astate a, VardecList v)`

Methods inherited from class java.lang.Object

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

Field Detail

public Astate state

public VardecList vars

Constructor Detail

public Modstate(Astate a,
                VardecList v)