|
values
glass = mk_token("Glass");
liquid = mk_token("liquid");
metal = mk_token("metal");
plastic = mk_token("plastic");
all_material = {glass,liquid,metal,plastic};
unpacking_inital = mk_Phase({},all_material,5);
sorting_inital = mk_Phase({},all_material,6);
assay_inital = mk_Phase({},all_material,5);
compaction_inital = mk_Phase({},{glass,metal,plastic},3);
storage_inital = mk_Phase({},{glass,metal,plastic},50);
coninfo_inital = {|->};
cid1 : ContainerId = mk_token(42);
phases_inital = {mk_token("Unpacking") |-> unpacking_inital,
mk_token("Sorting") |-> sorting_inital,
mk_token("Assay") |-> assay_inital,
mk_token("Compaction")|-> compaction_inital,
mk_token("Storage") |-> storage_inital};
tracker_inital = mk_Tracker(coninfo_inital,phases_inital)
functions
SetUp: () -> Tracker
SetUp() ==
tracker_inital
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
|
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.
|
