Class DefaultEffectiveConjunctiveQuery

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultEffectiveQuery<ConjunctiveQuery, Substitution>

fr.lirmm.graphik.integraal.core.DefaultEffectiveConjunctiveQuery

All Implemented Interfaces:

EffectiveConjunctiveQuery, EffectiveQuery<ConjunctiveQuery, Substitution>

public class DefaultEffectiveConjunctiveQuery
extends DefaultEffectiveQuery<ConjunctiveQuery, Substitution>
implements EffectiveConjunctiveQuery

Default implementation of an effective conjunctive query.

Constructor Summary

Constructors

Constructor	Description
DefaultEffectiveConjunctiveQuery(ConjunctiveQuery q, Substitution s)	Creates an effective conjunctive query from a query and a substitution.

Method Summary

Methods inherited from class DefaultEffectiveQuery

appendTo, getQuery, getSubstitution, toString

Methods inherited from class Object

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

Methods inherited from interface EffectiveQuery

getQuery, getSubstitution

Constructor Details

DefaultEffectiveConjunctiveQuery

public DefaultEffectiveConjunctiveQuery(ConjunctiveQuery q,
 Substitution s)

Creates an effective conjunctive query from a query and a substitution.

Parameters:

q - the underlying conjunctive query

s - the associated substitution