Class CommonQueryHintOptions
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.backend.CommonQueryHintOptions
-
public final class CommonQueryHintOptions extends java.lang.Object
Query evaluation hints applicable to any engine- Since:
- 1.6
-
-
Field Summary
Fields Modifier and Type Field Description static QueryHintOption<IRewriterTraceCollector>
normalizationTraceCollector
This hint instructs the query backends to record trace information into the given trace collector
-
-
-
Field Detail
-
normalizationTraceCollector
public static final QueryHintOption<IRewriterTraceCollector> normalizationTraceCollector
This hint instructs the query backends to record trace information into the given trace collector
-
-