Package org.processmining.longdistancedependencies.solve

Class FixParametersAlwaysOnce

java.lang.Object

org.processmining.longdistancedependencies.solve.FixParametersAlwaysOnce

public class FixParametersAlwaysOnce
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
FixParametersAlwaysOnce()

Method Summary

Modifier and Type	Method	Description
static boolean	alwaysOnce(ChoiceData data, int transitionA, int transitionB)	Whenever A is enabled, then B is always once in the history
static gnu.trove.TIntCollection	fix(int numberOfTransitions, ChoiceData data, java.util.Set<java.lang.Integer> group)

Methods inherited from class java.lang.Object

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

Constructor Detail

FixParametersAlwaysOnce

public FixParametersAlwaysOnce()

Method Detail

fix

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

alwaysOnce

public static boolean alwaysOnce(ChoiceData data,
                                 int transitionA,
                                 int transitionB)

Whenever A is enabled, then B is always once in the history

Parameters:

data -

transitionA -

transitionB -

Returns: