Class FixParametersEquivalentTransitions


  • public class FixParametersEquivalentTransitions
    extends java.lang.Object
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static gnu.trove.TIntCollection fix​(int numberOfTransitions, ChoiceData data, java.util.Set<java.lang.Integer> group)  
      static java.util.BitSet getEquivalent​(int numberOfTransitions, ChoiceData data, int transition)
      Return the transitions that appear always together with another transition.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • FixParametersEquivalentTransitions

        public FixParametersEquivalentTransitions()
    • Method Detail

      • fix

        public static gnu.trove.TIntCollection fix​(int numberOfTransitions,
                                                   ChoiceData data,
                                                   java.util.Set<java.lang.Integer> group)
      • getEquivalent

        public static java.util.BitSet getEquivalent​(int numberOfTransitions,
                                                     ChoiceData data,
                                                     int transition)
        Return the transitions that appear always together with another transition. We return true if the transition has an equivalent transition (the other equivalent transition is not reported).
        Parameters:
        model -
        data -
        transition -
        Returns: