Uses of Class
testoptimal.api.FSM.Trans

Packages that use Trans

Package	Description
testoptimal.api
testoptimal.api.FSM

Uses of Trans in testoptimal.api

Method parameters in testoptimal.api with type arguments of type Trans

Modifier and Type	Method and Description
String	AgentAPI.execModel(String modelName_p, List<Trans> transList_p, boolean optimal_p) starts model execution on TestOptimal server to cover the transitions specified.
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.

Uses of Trans in testoptimal.api.FSM

Methods in testoptimal.api.FSM that return Trans

Modifier and Type	Method and Description
Trans	State.findTrans(String name_p)
Trans	Trans.setTargetState(State targetState_p) change target state
Trans	Trans.setTraverseTimes(int traverseTimes_p) sets number of times the transition must be traversed.
Trans	Trans.setWeight(int weight_p) assign transition weight.