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

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