Class FixParametersNeverInHistory


  • public class FixParametersNeverInHistory
    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 boolean inHistory​(ChoiceData data, int transitionA, int transitionB)  
      • Methods inherited from class java.lang.Object

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

      • FixParametersNeverInHistory

        public FixParametersNeverInHistory()
    • Method Detail

      • fix

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

        public static boolean inHistory​(ChoiceData data,
                                        int transitionA,
                                        int transitionB)