Class Dnf2PQuery
java.lang.Object
tools.refinery.store.query.interpreter.internal.pquery.Dnf2PQuery
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
setComputeHint
(Function<Dnf, QueryEvaluationHint> computeHint)
-
Constructor Details
-
Dnf2PQuery
public Dnf2PQuery()
-
-
Method Details
-
setComputeHint
-
translate
-
getSymbolViews
-