Class PreparedFOQueryImpl<Formula extends FOFormula, QD extends QueryableData>

java.lang.Object

fr.inria.rules.dlgpemodel.HasItemInfoImpl

fr.inria.rules.dlgpemodel.SentenceImpl

fr.inria.rules.integraal.model.query.impl.PreparedFOQueryImpl<Formula,QD>

Type Parameters:

Formula - the queried formula type

QD - the prepared data-source type

All Implemented Interfaces:

fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.sentences.ISentence, Labeled, Sentence, PreparedFOQuery<Formula,QD>, PreparedQuery<FOQuery<? extends Formula>, QD, Substitution, Substitution>, Query

public abstract class PreparedFOQueryImpl<Formula extends FOFormula, QD extends QueryableData>
extends fr.inria.rules.dlgpemodel.SentenceImpl
implements PreparedFOQuery<Formula,QD>

Base implementation for prepared first-order queries.

Field Summary

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

IDENT

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

WRITER

Fields inherited from interface Labeled

NOLABEL

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PreparedFOQueryImpl()	Creates a prepared first-order query base instance.

Method Summary

Methods inherited from class fr.inria.rules.dlgpemodel.SentenceImpl

getPatterns, setPatterns

Methods inherited from class fr.inria.rules.dlgpemodel.HasItemInfoImpl

getItemInfo, setItemInfo

Methods inherited from class Object

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

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

getIdentifier, getInfo, getItemInfo, setIdentifier, setInfo, setItemInfo

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

toDLGPE

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.ISentence

setPatterns

Methods inherited from interface PreparedFOQuery

execute, getMandatoryParameters, isEvaluableWith

Methods inherited from interface PreparedQuery

estimateBound, execute, getAnswerVariables, getDataSource, getLabel, getQuery

Methods inherited from interface Sentence

getPatterns, setLabel

Constructor Details

PreparedFOQueryImpl

protected PreparedFOQueryImpl()

Creates a prepared first-order query base instance.