fr.lirmm.graphik.integraal.homomorphism.scheduler.AbstractScheduler 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

Rule base analysis for InteGraal. This is imported from Graal

The newest version!

package fr.lirmm.graphik.integraal.homomorphism.scheduler;

import fr.lirmm.graphik.integraal.api.core.InMemoryAtomSet;
import fr.lirmm.graphik.integraal.api.core.Substitution;
import fr.lirmm.graphik.integraal.api.core.Variable;
import fr.lirmm.graphik.integraal.core.factory.DefaultSubstitutionFactory;
import fr.lirmm.graphik.integraal.core.term.DefaultTermFactory;
import fr.lirmm.graphik.util.profiler.AbstractProfilable;

public abstract class AbstractScheduler extends AbstractProfilable implements Scheduler {
	
	
	protected static InMemoryAtomSet computeFixedQuery(InMemoryAtomSet atomset, Iterable fixedTerms) {
		// create a Substitution for fixed query
		Substitution fixSub = DefaultSubstitutionFactory.instance().createSubstitution();
		for (Variable t : fixedTerms) {
			fixSub.put(t, DefaultTermFactory.instance().createConstant(t.getLabel()));
		}

		return fixSub.createImageOf(atomset);
	}

}