A B C D E F G H I K L M N O P R S T U V W

A

AbortIf(boolean, String) - Static method in class org.tigris.mbt.Util

AbstractModelHandler - Class in org.tigris.mbt.io

AbstractModelHandler() - Constructor for class org.tigris.mbt.io.AbstractModelHandler

acceptEdge(Edge) - Method in class org.tigris.mbt.filters.AccessableEdgeFilter

AccessableEdgeFilter - Class in org.tigris.mbt.filters

AccessableEdgeFilter(Interpreter) - Constructor for class org.tigris.mbt.filters.AccessableEdgeFilter

ACTIONS_KEY - Static variable in class org.tigris.mbt.Keywords

This datum contains the actions used by an edge in EFSM models.

add(StopCondition) - Method in class org.tigris.mbt.conditions.AlternativeCondition

add(StopCondition) - Method in class org.tigris.mbt.conditions.CombinationalCondition

addAlternativeCondition(int, String) - Method in class org.tigris.mbt.ModelBasedTesting

addCondition(int, String) - Method in class org.tigris.mbt.ModelBasedTesting

addEdgeToGraph(SparseGraph, DirectedSparseVertex, DirectedSparseVertex, String, String, String, String) - Static method in class org.tigris.mbt.Util

addPathGenerator(PathGenerator) - Method in class org.tigris.mbt.generators.CombinedPathGenerator

addVertexToGraph(SparseGraph, String) - Static method in class org.tigris.mbt.Util

AlternativeCondition - Class in org.tigris.mbt.conditions

AlternativeCondition() - Constructor for class org.tigris.mbt.conditions.AlternativeCondition

AlwaysCondition - Class in org.tigris.mbt.conditions

AlwaysCondition() - Constructor for class org.tigris.mbt.conditions.AlwaysCondition