Enum Class InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler

java.lang.Object
java.lang.Enum<InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler>
fr.inria.rules.integraal.configuration.keywords.InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler
All Implemented Interfaces:
Serializable, Comparable<InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler>, Constable
Enclosing class:
InteGraalKeywords.Algorithms.Parameters.Chase

public static enum InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler extends Enum<InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler>
Specifies different scheduler strategies for chase.
Author:
Federico Ulliana, Michel Leclère