: Class Modelchecker

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 Modelchecker

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

public class Modelchecker
extends java.lang.Object

Modelchecker-Klasse. es besteht aus u.a. Anfangszustand -- Initstate, es besteht aus Liste uebergebenen, erreichten Zustaende -- AstateList, Liste zu betrachtenden Zustaende -- ModstateList, gerade zu betrachtende Transition -- Transition, gerade zu betrachtendes Label -- Label,

Constructor Summary
`Modelchecker()`

Method Summary
`boolean`	`start_modcheck(Program p)`

Methods inherited from class java.lang.Object

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

Constructor Detail

Modelchecker

public Modelchecker()

Method Detail

start_modcheck

public boolean start_modcheck(Program p)
                       throws MCheckException