Uses of Class
rmp.Model

Packages that use Model

Package	Description
rmp

Uses of Model in rmp

Methods in rmp that return Model

Modifier and Type	Method and Description
static Model	ParserJSON.parse(org.json.simple.JSONObject rules, org.json.simple.JSONObject subnet)

Methods in rmp with parameters of type Model

Modifier and Type	Method and Description
static Path	RelevantSubnetTransformation.backwardsCollection(Model model, Path path, int[] goalMask)
static PathList	ComputeMinimalPaths.compute(Model model, boolean debug)
static PathList	ComputeMinimalPathsStubbornSetsAlternative.compute(Model model, boolean approximateMinimality, boolean debug)
static PathList	ComputeMinimalPathsStubbornSets.compute(Model model, boolean approximateMinimality, boolean debug)
static PathList	ComputeMinimalPathsDependenceSets.compute(Model model, boolean approximateMinimality, boolean debug)
static PathList	ComputeMinimalPaths.compute(Model model, int[] allowedTransitionsMask, boolean debug)
static PathList	RMPHelper.compute(Model model, java.lang.String algorithm, boolean approximateMinimality, boolean hideEdges, boolean debug)
static java.util.ArrayList<HideEdgeTuple>	HideEdges.computeHideableEdges(Model m)
static boolean[]	ComputeStubbornSetAlternative.computeSmallestStubbornSet(Model model, State state)
static boolean[]	ComputeStubbornSet.computeSmallestStubbornSet(Model model, State state)
static boolean[]	ComputeStubbornSetAlternative.computeStubbornSet(Model model, State state)
static boolean[]	ComputeStubbornSet.computeStubbornSet(Model model, State state)
static void	ComputeStubbornSetAlternative.computeStubbornSet(Model model, State state, boolean[] stub, int transIndex)
static void	ComputeStubbornSet.computeStubbornSet(Model model, State state, boolean[] stub, int transIndex)
static boolean[]	ComputeStubbornSetAlternative.computeStubbornSet(Model model, State state, int transIndex)
static boolean[]	ComputeStubbornSet.computeStubbornSet(Model model, State state, int transIndex)
static int	ComputeStubbornSetAlternative.countEnabledTransitions(Model model, State state, boolean[] arr)
static int	ComputeStubbornSet.countEnabledTransitions(Model model, State state, boolean[] arr)
static java.util.ArrayList<PlacePair>	PathListOperations.doubleKnockouts(Model model, PathList paths)
static java.util.ArrayList<TransitionPair>	PathListOperations.essentialTransitionPairs(Model model, PathList paths)
static java.util.ArrayList<java.lang.String>	PathListOperations.essentialTransitions(Model model, PathList paths)
static Path	RelevantSubnetTransformation.forwardsCollection(Model model, Path path, int[] goalMask)
java.util.List<java.util.List<java.lang.String>>	PathList.getPaths(Model model)
int	Transition.getViolatingPreplace(Model model, State state)
static void	HideEdges.hideEdges(Model m)
static java.util.ArrayList<java.lang.String>	PathListOperations.knockouts(Model model, PathList paths)
static PathList	PathListOperations.pathsUsingPlace(Model model, PathList paths, java.lang.String place)
static PathList	PathListOperations.pathsUsingPlaces(Model model, PathList paths, java.util.ArrayList<java.lang.String> places)
java.lang.String	PathList.toString(Model model)
static java.util.ArrayList<java.lang.String>	PathListOperations.usedPlaces(Model model, PathList paths)