fr.boreal.component_builder.api.algorithm.IBackwardChainingParameters Maven / Gradle / Ivy

Go to download

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

Components for the main functionalities of InteGraal

There is a newer version: 1.6.2

package fr.boreal.component_builder.api.algorithm;

import java.util.Optional;

import fr.boreal.model.component.InteGraalKeywords;

/**
 * Interface for compilation parameters.
 */
interface IBackwardChainingParameters {

	boolean usesQueryRewritingAlgorithm();

	boolean usesRuleCompilationAlgorithm();

	boolean usesOMQARewritingAlgorithm();

	Optional getCompilation();

	IAlgorithmParameters setCompilation(InteGraalKeywords.Algorithms.Parameters.Compilation compilationName);
}