run.cmd

UML设计测试工具

reset
load examples/generator/vorgaenger/invarianten.txt
flags -d -n

-- the loaded invariant Zug::Kette_zuWeich is deactivated in this example
flags Zug::Kette_zuWeich +d

flags Waggon::VorgaengerImGleichenZug +n
start examples/generator/zug.assl testeZugaufbauUndWaggonreihung(2, 3)