Uses of Class
testoptimal.api.RunResult

Packages that use RunResult

Package	Description
testoptimal.api

Uses of RunResult in testoptimal.api

Methods in testoptimal.api that return RunResult

Modifier and Type	Method and Description
RunResult	DataSetAPI.generate(String dsName_p, Constants.Algorithm alg_p) generate data table for a data set (uploaded).
RunResult	ModelAPI.genPaths(String modelName_p) generate test paths (test cases) for a model (uploaded) using the default Optimal sequencer.
RunResult	ModelAPI.genPaths(String modelName_p, Constants.MbtMode mbtMode_p) generate test paths (test cases) for a model (uploaded).
RunResult	ModelAPI.genPaths(String modelName_p, Constants.MbtMode mbtMode_p, int timeoutMillis_p) generate test paths (test cases) for a model (uploaded).
RunResult	ModelAPI.genPathsPartial(String modelName_p, List<Trans> transList_p, boolean optimal_p) generate test paths (test cases) to cover a subset of transitions in a model.
RunResult	ModelAPI.genPathsPartial(String modelName_p, List<Trans> transList_p, boolean optimal_p, int timeoutMillis_p) generate test paths (test cases) to cover a subset of transitions in a model.
RunResult	AgentAPI.getModelStats(String modelName_p) retrieves model execution stats for a model execution