Package com.uppaal.model.system.concrete
-
Class Summary Class Description ConcreteState ConcreteSuccessor ConcreteTrace ConcreteTransition ConcreteTransitionRecord ConcreteVariable Limit A limit consists of a value and information about whether the limit is strict or not.