fr.boreal.model.queryEvaluation.api.FOQueryEvaluator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of integraal-model Show documentation

Main objects for integraal

The newest version!

package fr.boreal.model.queryEvaluation.api;

import fr.boreal.model.formula.api.FOFormula;
import fr.boreal.model.kb.api.FactBase;
import fr.boreal.model.logicalElements.api.Substitution;
import fr.boreal.model.logicalElements.api.Variable;
import fr.boreal.model.query.api.FOQuery;

import java.util.Collection;
import java.util.Iterator;

/**
 * An FOQuery evaluator is one possible algorithm to evaluate a {@link FOQuery}.
 * 

 * Evaluating a FOQuery means retrieving all the {@link Substitution} of the
 * answer variables from the query with respect to the atoms from the
 * {@link FactBase}.
 *
 * @param  The type of {@link FOFormula} that the evaluator can evaluate
 *
 */
public interface FOQueryEvaluator extends QueryEvaluator> {

    @Override
    Iterator evaluate(FOQuery query, FactBase factbase, Collection variablesThatMustBeMappedToConstants, Substitution preHomomorphism);

}