rmp

Class ComputeStubbornSet

java.lang.Object

rmp.ComputeStubbornSet

public class ComputeStubbornSet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ComputeStubbornSet()

Method Summary

Modifier and Type	Method and Description
static boolean[]	computeSmallestStubbornSet(Model model, State state)
static boolean[]	computeStubbornSet(Model model, State state)
static void	computeStubbornSet(Model model, State state, boolean[] stub, int transIndex)
static boolean[]	computeStubbornSet(Model model, State state, int transIndex)
static int	countEnabledTransitions(Model model, State state, boolean[] arr)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ComputeStubbornSet

public ComputeStubbornSet()

Method Detail

countEnabledTransitions

public static int countEnabledTransitions(Model model,
                                          State state,
                                          boolean[] arr)

computeSmallestStubbornSet

public static boolean[] computeSmallestStubbornSet(Model model,
                                                   State state)

computeStubbornSet

public static boolean[] computeStubbornSet(Model model,
                                           State state,
                                           int transIndex)

computeStubbornSet

public static void computeStubbornSet(Model model,
                                      State state,
                                      boolean[] stub,
                                      int transIndex)
                               throws java.lang.Exception

Throws:

java.lang.Exception

computeStubbornSet

public static boolean[] computeStubbornSet(Model model,
                                           State state)