Class UppaalLscSystem

java.lang.Object
com.uppaal.model.AbstractSystem
com.uppaal.model.lscsystem.UppaalLscSystem

public class UppaalLscSystem
extends AbstractSystem