Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/BuslinesPP/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 631 B image not shown  

Quelle  Config.vdmpp   Sprache: VDM

 
-----------------------------------------------
-- Class: Config
-- Description:  Config contains configuration values
-----------------------------------------------

--
-- class definition
--
class Config

--
-- Values definition section
--
values

--max passengers on bus
public static BusCapacity : nat = 15;
--speed limit on road, buses will always drive to the limit   
public static DefaultRoadSpeedLimit : nat = 10;      
--amount of waiting time beofre passengers become annoyed
public static PassengerAnnoyanceLimit : nat = 40;    
--max value of passengers inflow 
public static MaxInflow : nat = 10;    

end Config

81%


¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.