Class CompilationResult

java.lang.Object

fr.inria.rules.integraal.api.internal.CompilationResult

public final class CompilationResult
extends Object

Stores the result of compiling a rule base for rewriting.

Constructor Summary

Constructors

Constructor	Description
CompilationResult(RuleBase ruleBase, InteGraalKeywords.Algorithms.Parameters.Compilation ruleCompilationType)	Builds a compilation result for the given rule base and compilation type.

Method Summary

Modifier and Type	Method	Description
BackwardChainingAlgorithm	getAlgorithm()	Returns the rewriting algorithm associated with this compilation result.
RuleBase	getCompiled()	Returns the compilable part of the rule base.
RuleBase	getUncompiled()	Returns the non-compilable part of the rule base.

Methods inherited from class Object

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

Constructor Details

CompilationResult

public CompilationResult(RuleBase ruleBase,
 InteGraalKeywords.Algorithms.Parameters.Compilation ruleCompilationType)
                  throws IllegalArgumentException

Builds a compilation result for the given rule base and compilation type.

Parameters:

ruleBase - the rule base to compile

ruleCompilationType - the compilation strategy to apply

Throws:

IllegalArgumentException - if the compilation type is unknown

Method Details

getAlgorithm

public BackwardChainingAlgorithm getAlgorithm()

Returns the rewriting algorithm associated with this compilation result.

Returns:

the rewriting algorithm

getCompiled

public RuleBase getCompiled()

Returns the compilable part of the rule base.

Returns:

the compilable rules

getUncompiled

public RuleBase getUncompiled()

Returns the non-compilable part of the rule base.

Returns:

the non-compilable rules