fr.lirmm.graphik.integraal.core.DefaultEffectiveConjunctiveQuery Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of integraal-graal-ruleset-analysis Show documentation
Show all versions of integraal-graal-ruleset-analysis Show documentation
Rule base analysis for InteGraal. This is imported from Graal
The newest version!
package fr.lirmm.graphik.integraal.core;
import fr.lirmm.graphik.integraal.api.core.ConjunctiveQuery;
import fr.lirmm.graphik.integraal.api.core.EffectiveConjunctiveQuery;
import fr.lirmm.graphik.integraal.api.core.Substitution;
public class DefaultEffectiveConjunctiveQuery extends DefaultEffectiveQuery implements EffectiveConjunctiveQuery {
public DefaultEffectiveConjunctiveQuery(ConjunctiveQuery q, Substitution s) {
super(q, s);
}
}