Package tools.refinery.store.query.interpreter.internal.pquery

Class Dnf2PQuery

java.lang.Object

tools.refinery.store.query.interpreter.internal.pquery.Dnf2PQuery

public class Dnf2PQuery
extends Object

Constructor Summary

Constructors

Constructor	Description
Dnf2PQuery()

Method Summary

Modifier and Type	Method	Description
Map<AnySymbolView,IInputKey>	getSymbolViews()
void	setComputeHint(Function<Dnf,QueryEvaluationHint> computeHint)
RawPQuery	translate(Dnf dnfQuery)

Methods inherited from class java.lang.Object

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

Constructor Details

Dnf2PQuery

public Dnf2PQuery()

Method Details

setComputeHint

public void setComputeHint(Function<Dnf,QueryEvaluationHint> computeHint)

translate

public RawPQuery translate(Dnf dnfQuery)

getSymbolViews

public Map<AnySymbolView,IInputKey> getSymbolViews()