Class QueryResult

java.lang.Object
com.uppaal.engine.QueryResult

public class QueryResult
extends Object
The verification result of the query