Class AbstractSystemState

java.lang.Object
com.uppaal.model.AbstractSystemState
Direct Known Subclasses:
SystemCut

public abstract class AbstractSystemState
extends Object