Class Hierarchy
- java.lang.Object
- org.eclipse.viatra.query.runtime.rete.util.LexicographicComparator<T> (implements java.util.Comparator<T>)
- org.eclipse.viatra.query.runtime.rete.util.Options
- org.eclipse.viatra.query.runtime.rete.util.OrderingCompareAgent<T>
- org.eclipse.viatra.query.runtime.rete.util.ReteHintOptions
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- org.eclipse.viatra.query.runtime.rete.util.Options.BuilderMethod
- org.eclipse.viatra.query.runtime.rete.util.Options.FunctionalDependencyOption
- org.eclipse.viatra.query.runtime.rete.util.Options.InjectivityStrategy
- org.eclipse.viatra.query.runtime.rete.util.Options.NodeSharingOption
- org.eclipse.viatra.query.runtime.rete.util.Options.PlanTrimOption
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)