Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
G
H
I
K
L
M
N
O
P
R
S
T
W
C
cntPumpsOn
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
StationState
cntPumpsOn
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
StationMonitor
Count of pumps currently switched on
cntPumpsReady
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
StationState
cntPumpsReady
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
StationMonitor
Count of pumps that are ready to work
CommonControlInterface
- interface cz.zcu.fav.kiv.jsimcasestudies.watersystem.
CommonControlInterface
.
An interface shared between the control program and the model of its environment.
consumptionProcess
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.model.
ModelInterface
Process simulating water consumption and water volume changes in the main tank.
controlInterface
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
WaterStationControl
An instance of CommonControlInterface.
controlInterface
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
StationMonitor
A common interface between controlled object and the control program
controlInterface
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.application.
SourceMonitor
An interface between the controlled object and the control program
currentVolume
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.model.
Station
Volume of water currently present in the main tank.
currentVolume
- Variable in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.model.
Source
Volume of water currently present in the source.
cz.zcu.fav.kiv.jsimcasestudies.watersystem
- package cz.zcu.fav.kiv.jsimcasestudies.watersystem
This package is intended to build up and run the joint simulation of the application and model part.
cz.zcu.fav.kiv.jsimcasestudies.watersystem.application
- package cz.zcu.fav.kiv.jsimcasestudies.watersystem.application
cz.zcu.fav.kiv.jsimcasestudies.watersystem.model
- package cz.zcu.fav.kiv.jsimcasestudies.watersystem.model
This package contains classes simulating the outer environment, such as water coming to the sources, water consumption, etc.
checkInvariants(int)
- Method in class cz.zcu.fav.kiv.jsimcasestudies.watersystem.model.
ModelInterface
Checks state invariants of the modeled system
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
G
H
I
K
L
M
N
O
P
R
S
T
W
Copyright © 2000-2004 University of West Bohemia, FAV-KIV. All Rights Reserved. Build date 20040510