rmp

Class ComputeStubbornSetAlternative

java.lang.Object

rmp.ComputeStubbornSetAlternative

public class ComputeStubbornSetAlternative
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ComputeStubbornSetAlternative()

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

ComputeStubbornSetAlternative

public ComputeStubbornSetAlternative()

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)