Class AlgorithmParameters

java.lang.Object

fr.inria.rules.integraal.component_builder.AlgorithmParameters

All Implemented Interfaces:

IAlgorithmParameters

public class AlgorithmParameters
extends Object
implements IAlgorithmParameters

Default implementation for IAlgorithmParameters.

This class encapsulates configuration parameters for an algorithm. It includes both "closed" parameters (represented by enumerations) and "open" parameters that may vary more widely. The structure is designed to allow flexible handling of these parameters while maintaining type safety through enums and reflection-based field assignment.

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	name	Base name of this parameter set before the algorithm suffix is appended.

Constructor Summary

Constructors

Constructor	Description
AlgorithmParameters(String name, InteGraalKeywords.Algorithms algorithmType)	Constructs a new AlgorithmParameters instance.
AlgorithmParameters(String name, InteGraalKeywords.Algorithms algorithmType, IGParameter<InteGraalKeywords, ?>... params)	Constructs a new AlgorithmParameters instance and immediately sets parameters from the specified IGParameter object.

Method Summary

Modifier and Type	Method	Description
boolean	asksCountOnly()
boolean	asksLists()
boolean	asksSet()
InteGraalKeywords.Algorithms	getAlgorithm()	Returns the current algorithm type.
Optional<InteGraalKeywords.Algorithms.Parameters.Compilation>	getCompilation()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Computer>	getComputer()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Checker>	getCriterion()
Optional<InteGraalKeywords.InternalStorageConfiguration.DriverType>	getDBDriver()
Optional<Map<InteGraalKeywords.InternalStorageConfiguration.DBMSDriverParameters, String>>	getDBMSDriverParameters()
Optional<InteGraalKeywords.InternalStorageConfiguration.StorageLayout>	getDBStrategy()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Evaluator>	getEvaluator()
Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerSolver>	getExplainerSolver()
Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerVerbosity>	getExplainerVerbosity()
Optional<InteGraalKeywords.Algorithms.Parameters.Explanation>	getExplanation()
Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.ExplanationSupportType>	getExplanationSupportType()
ExternalAlgorithmHaltingConditions	getExternalHaltingConditions()
Optional<Integer>	getGMUSSolverTreshold()
Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesComputation>	getGraphOfRuleInstancesComputation()
Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesType>	getGraphOfRuleInstancesType()
InteGraalKeywords.Algorithms.Images	getImageType()
Optional<String>	getMARCOPathToExecutable()
Optional<Integer>	getMax()
String	getName()	Returns the name of the configuration concatenated with the algorithm name.
Optional<Integer>	getRank()
InteGraalKeywords.Algorithms.Answers	getResultType()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Applier>	getRuleApplier()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler>	getScheduler()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Namer>	getSkolemization()
Optional<InteGraalKeywords.InternalStorageConfiguration.DBType>	getStorageType()
Optional<Duration>	getTimeout()
Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Transformer>	getTransformer()
IAlgorithmParameters	setCompilation(InteGraalKeywords.Algorithms.Parameters.Compilation compilation)
IAlgorithmParameters	setCompilation(String compilationName)	Sets the compilation approach (e.g., "DEFAULT") by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setComputer(InteGraalKeywords.Algorithms.Parameters.Chase.Computer computer)
IAlgorithmParameters	setComputer(String computerName)	Sets the chase computer by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setCriterion(InteGraalKeywords.Algorithms.Parameters.Chase.Checker criterion)
IAlgorithmParameters	setCriterion(String criterionName)	Sets the chase criterion (checker) by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setDBDriver(InteGraalKeywords.InternalStorageConfiguration.DriverType storageDriver)
IAlgorithmParameters	setDBDriver(String storageDriverName)	Sets the database driver type (e.g., "JDBC") by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setDBMSDriverParameters(InteGraalKeywords.InternalStorageConfiguration.DBMSDriverParameters paramName, String value)
void	setDBMSDriverParameters(String paramName, String paramValue)	Sets a DBMS driver parameter based on the provided parameter name and value.
IAlgorithmParameters	setDBStrategy(InteGraalKeywords.InternalStorageConfiguration.StorageLayout storageStrategy)
IAlgorithmParameters	setDBStrategy(String storageStrategyName)	Sets the storage layout strategy (e.g., "DEFAULT") by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setEvaluator(InteGraalKeywords.Algorithms.Parameters.Chase.Evaluator evaluator)
IAlgorithmParameters	setEvaluator(String evaluatorName)	Sets the chase evaluator by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setExplainerSolver(InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerSolver solver)
IAlgorithmParameters	setExplainerVerbosity(InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerVerbosity verbosity)
IAlgorithmParameters	setExplanationCategory(InteGraalKeywords.Algorithms.Parameters.Explanation explanationCategory)
IAlgorithmParameters	setExplanationSupportType(InteGraalKeywords.Algorithms.Parameters.Explanation.ExplanationSupportType explanationSupportType)
IAlgorithmParameters	setExternalHaltingConditions(ExternalAlgorithmHaltingConditions hc)	////////////////////////////////////// / OVERRIDDEN / PUBLIC SETTER METHODS //////////////////////////////////////
IAlgorithmParameters	setGMUSSolverTreshold(int treshold)
IAlgorithmParameters	setGraphOfRuleInstancesType(InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesComputation griComputation)
IAlgorithmParameters	setGraphOfRuleInstancesType(InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesType griType)
IAlgorithmParameters	setGSATSolverParameters(InteGraalKeywords.Algorithms.Parameters.Explanation.GSATSolverParameters paramName, String value)
void	setGSATSolverParameters(String paramName, String paramValue)	Sets a GSAT solver parameter from its string name.
void	setImageType(InteGraalKeywords.Algorithms.Images type)
IAlgorithmParameters	setMARCOPathToExecutable(String pathtoExecutable)
IAlgorithmParameters	setMax(Integer max)
IAlgorithmParameters	setOpenParameter(InteGraalKeywords k, Object value)	Sets an open parameter (one that is not tied to a closed enumeration of values) by matching its name to one of the fields declared in this class.
IAlgorithmParameters	setOpenParameterFromEnumeration(Class<? extends Enum<?>> className, String propertyName, String value)	Sets an open parameter (defined within a known enumeration) by mapping the given propertyName to the appropriate enum constant in className, and assigning the provided value.
IAlgorithmParameters	setOpenParameterFromEnumeration(Enum<?> enumName, String propertyName, String value)	Similar to setOpenParameterFromEnumeration(Class, String, String), but takes an enumName instead of the enum className.
IAlgorithmParameters	setParameter(Enum<?> enumValue)	Sets the value of a parameter based on the provided enum constant.
IAlgorithmParameters	setRank(Integer rank)
void	setResultType(InteGraalKeywords.Algorithms.Answers type)
IAlgorithmParameters	setRuleApplier(InteGraalKeywords.Algorithms.Parameters.Chase.Applier applier)
IAlgorithmParameters	setRuleApplier(String applierName)	Sets the chase rule applier by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setScheduler(InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler scheduler)
IAlgorithmParameters	setScheduler(String scheduler)	Sets the scheduler by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setSkolemization(InteGraalKeywords.Algorithms.Parameters.Chase.Namer skolemization)
IAlgorithmParameters	setSkolemization(String skolemizationName)	Sets the chase Skolemization approach by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setStorageType(InteGraalKeywords.InternalStorageConfiguration.DBType storage)
IAlgorithmParameters	setStorageType(String storageDBTypeName)	Sets the DB storage type (e.g., PostgreSQL, H2) by matching the input string to an enum constant and then calling setParameter(Enum).
IAlgorithmParameters	setTimeout(Duration timeout)
IAlgorithmParameters	setTransformer(InteGraalKeywords.Algorithms.Parameters.Chase.Transformer transformer)
IAlgorithmParameters	setTransformer(String transformerName)	Sets the chase transformer by matching the input string to an enum constant and then calling setParameter(Enum).
String	toString()	Returns a string representation of this AlgorithmParameters object, which includes key fields and values.
boolean	usesOMQAHybridAlgorithm()
boolean	usesOMQARewritingAlgorithm()
boolean	usesOMQASaturationAlgorithm()
boolean	usesQueryAnsweringAlgorithm()
boolean	usesQueryRewritingAlgorithm()
boolean	usesRuleCompilationAlgorithm()
boolean	usesSaturationAlgorithm()
boolean	usesStorage()

Methods inherited from class Object

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

Methods inherited from interface IAlgorithmParameters

Chase

Field Details

name

protected final String name

Base name of this parameter set before the algorithm suffix is appended.

Constructor Details

AlgorithmParameters

public AlgorithmParameters(String name,
 InteGraalKeywords.Algorithms algorithmType)

Constructs a new AlgorithmParameters instance.

Parameters:

name - the name of the configuration

algorithmType - the algorithm type (e.g., KB_CHASE, OMQA_CHASE)

AlgorithmParameters

public AlgorithmParameters(String name,
 InteGraalKeywords.Algorithms algorithmType,
 IGParameter<InteGraalKeywords, ?>... params)

Constructs a new AlgorithmParameters instance and immediately sets parameters from the specified IGParameter object.

Parameters:

name - the name of the configuration

algorithmType - the algorithm type

params - an IGParameter containing parameter metadata

Method Details

getName

public String getName()

Returns the name of the configuration concatenated with the algorithm name.

Specified by:

getName in interface IAlgorithmParameters

Returns:

the name of the configuration (e.g., "MyConfig_OMQA_CHASE")

getAlgorithm

public InteGraalKeywords.Algorithms getAlgorithm()

Returns the current algorithm type.

Specified by:

getAlgorithm in interface IAlgorithmParameters

Returns:

the current InteGraalKeywords.Algorithms enum value

usesSaturationAlgorithm

public boolean usesSaturationAlgorithm()

usesQueryRewritingAlgorithm

public boolean usesQueryRewritingAlgorithm()

usesQueryAnsweringAlgorithm

public boolean usesQueryAnsweringAlgorithm()

usesRuleCompilationAlgorithm

public boolean usesRuleCompilationAlgorithm()

usesOMQASaturationAlgorithm

public boolean usesOMQASaturationAlgorithm()

usesOMQARewritingAlgorithm

public boolean usesOMQARewritingAlgorithm()

usesOMQAHybridAlgorithm

public boolean usesOMQAHybridAlgorithm()

usesStorage

public boolean usesStorage()

getRuleApplier

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Applier> getRuleApplier()

getScheduler

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler> getScheduler()

getCriterion

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Checker> getCriterion()

getComputer

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Computer> getComputer()

getSkolemization

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Namer> getSkolemization()

getEvaluator

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Evaluator> getEvaluator()

getTransformer

public Optional<InteGraalKeywords.Algorithms.Parameters.Chase.Transformer> getTransformer()

getStorageType

public Optional<InteGraalKeywords.InternalStorageConfiguration.DBType> getStorageType()

getDBDriver

public Optional<InteGraalKeywords.InternalStorageConfiguration.DriverType> getDBDriver()

getDBStrategy

public Optional<InteGraalKeywords.InternalStorageConfiguration.StorageLayout> getDBStrategy()

getCompilation

public Optional<InteGraalKeywords.Algorithms.Parameters.Compilation> getCompilation()

getRank

public Optional<Integer> getRank()

getMax

public Optional<Integer> getMax()

getTimeout

public Optional<Duration> getTimeout()

getResultType

public InteGraalKeywords.Algorithms.Answers getResultType()

getImageType

public InteGraalKeywords.Algorithms.Images getImageType()

setResultType

public void setResultType(InteGraalKeywords.Algorithms.Answers type)

setImageType

public void setImageType(InteGraalKeywords.Algorithms.Images type)

asksLists

public boolean asksLists()

asksSet

public boolean asksSet()

asksCountOnly

public boolean asksCountOnly()

getExternalHaltingConditions

public ExternalAlgorithmHaltingConditions getExternalHaltingConditions()

getDBMSDriverParameters

public Optional<Map<InteGraalKeywords.InternalStorageConfiguration.DBMSDriverParameters, String>> getDBMSDriverParameters()

setExternalHaltingConditions

public IAlgorithmParameters setExternalHaltingConditions(ExternalAlgorithmHaltingConditions hc)

////////////////////////////////////// / OVERRIDDEN / PUBLIC SETTER METHODS //////////////////////////////////////

setMax

public IAlgorithmParameters setMax(Integer max)

setRank

public IAlgorithmParameters setRank(Integer rank)

setTimeout

public IAlgorithmParameters setTimeout(Duration timeout)

setStorageType

public IAlgorithmParameters setStorageType(String storageDBTypeName)

Sets the DB storage type (e.g., PostgreSQL, H2) by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

storageDBTypeName - the name of the storage type (e.g., "H2", "POSTGRESQL")

Returns:

this IAlgorithmParameters instance for method chaining

setStorageType

public IAlgorithmParameters setStorageType(InteGraalKeywords.InternalStorageConfiguration.DBType storage)

setDBDriver

public IAlgorithmParameters setDBDriver(String storageDriverName)

Sets the database driver type (e.g., "JDBC") by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

storageDriverName - the name of the driver type

Returns:

this IAlgorithmParameters instance for method chaining

setDBDriver

public IAlgorithmParameters setDBDriver(InteGraalKeywords.InternalStorageConfiguration.DriverType storageDriver)

setDBStrategy

public IAlgorithmParameters setDBStrategy(String storageStrategyName)

Sets the storage layout strategy (e.g., "DEFAULT") by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

storageStrategyName - the name of the storage layout

Returns:

this IAlgorithmParameters instance for method chaining

setDBStrategy

public IAlgorithmParameters setDBStrategy(InteGraalKeywords.InternalStorageConfiguration.StorageLayout storageStrategy)

setRuleApplier

public IAlgorithmParameters setRuleApplier(String applierName)

Sets the chase rule applier by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

applierName - the name of the rule applier

Returns:

this IAlgorithmParameters instance for method chaining

setRuleApplier

public IAlgorithmParameters setRuleApplier(InteGraalKeywords.Algorithms.Parameters.Chase.Applier applier)

setScheduler

public IAlgorithmParameters setScheduler(String scheduler)

Sets the scheduler by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

scheduler - the name of the scheduler

Returns:

this IAlgorithmParameters instance for method chaining

setScheduler

public IAlgorithmParameters setScheduler(InteGraalKeywords.Algorithms.Parameters.Chase.Scheduler scheduler)

setCriterion

public IAlgorithmParameters setCriterion(String criterionName)

Sets the chase criterion (checker) by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

criterionName - the name of the chase checker

Returns:

this IAlgorithmParameters instance for method chaining

setCriterion

public IAlgorithmParameters setCriterion(InteGraalKeywords.Algorithms.Parameters.Chase.Checker criterion)

setComputer

public IAlgorithmParameters setComputer(String computerName)

Sets the chase computer by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

computerName - the name of the chase computer

Returns:

this IAlgorithmParameters instance for method chaining

setComputer

public IAlgorithmParameters setComputer(InteGraalKeywords.Algorithms.Parameters.Chase.Computer computer)

setSkolemization

public IAlgorithmParameters setSkolemization(String skolemizationName)

Sets the chase Skolemization approach by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

skolemizationName - the name of the Skolemization approach

Returns:

this IAlgorithmParameters instance for method chaining

setSkolemization

public IAlgorithmParameters setSkolemization(InteGraalKeywords.Algorithms.Parameters.Chase.Namer skolemization)

setEvaluator

public IAlgorithmParameters setEvaluator(String evaluatorName)

Sets the chase evaluator by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

evaluatorName - the name of the evaluator

Returns:

this IAlgorithmParameters instance for method chaining

setEvaluator

public IAlgorithmParameters setEvaluator(InteGraalKeywords.Algorithms.Parameters.Chase.Evaluator evaluator)

setTransformer

public IAlgorithmParameters setTransformer(String transformerName)

Sets the chase transformer by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

transformerName - the name of the transformer

Returns:

this IAlgorithmParameters instance for method chaining

setTransformer

public IAlgorithmParameters setTransformer(InteGraalKeywords.Algorithms.Parameters.Chase.Transformer transformer)

setCompilation

public IAlgorithmParameters setCompilation(String compilationName)

Sets the compilation approach (e.g., "DEFAULT") by matching the input string to an enum constant and then calling setParameter(Enum).

Parameters:

compilationName - the name of the compilation type

Returns:

this IAlgorithmParameters instance for method chaining

setCompilation

public IAlgorithmParameters setCompilation(InteGraalKeywords.Algorithms.Parameters.Compilation compilation)

setDBMSDriverParameters

public void setDBMSDriverParameters(String paramName,
 String paramValue)

Sets a DBMS driver parameter based on the provided parameter name and value. The parameter name is mapped to an enum instance of InteGraalKeywords.InternalStorageConfiguration.DBMSDriverParameters, and then the appropriate field in this class is updated.

Parameters:

paramName - the name of the DBMS driver parameter, e.g., "URL" or "PORT"

paramValue - the value to set for the specified parameter

Throws:

IllegalArgumentException - if paramName does not match any known InteGraalKeywords.InternalStorageConfiguration.DBMSDriverParameters value

See Also:

• setDBMSDriverParameters(DBMSDriverParameters, String)

setGSATSolverParameters

public void setGSATSolverParameters(String paramName,
 String paramValue)

Sets a GSAT solver parameter from its string name.

Parameters:

paramName - the GSAT solver parameter name

paramValue - the value to assign

setDBMSDriverParameters

public IAlgorithmParameters setDBMSDriverParameters(InteGraalKeywords.InternalStorageConfiguration.DBMSDriverParameters paramName,
 String value)

setGSATSolverParameters

public IAlgorithmParameters setGSATSolverParameters(InteGraalKeywords.Algorithms.Parameters.Explanation.GSATSolverParameters paramName,
 String value)

getMARCOPathToExecutable

public Optional<String> getMARCOPathToExecutable()

setMARCOPathToExecutable

public IAlgorithmParameters setMARCOPathToExecutable(String pathtoExecutable)

setParameter

public IAlgorithmParameters setParameter(Enum<?> enumValue)

Sets the value of a parameter based on the provided enum constant. This method uses reflection to dynamically identify and set the field within this class that corresponds to the enum type of the given constant. The field name is expected to match the simple name of the enum's class, with the first letter lowercased (following Java naming conventions)

Specified by:

setParameter in interface IAlgorithmParameters

Parameters:

enumValue - The enum constant to set as the value of the corresponding field. The enum's class simple name (lowercased) should match the name of the field in this class.

Returns:

the updated algorithm parameters

Throws:

RuntimeException - If no matching field is found for the enum type, or if an error occurs while attempting to set the field's value. This includes cases where the field is not accessible or if the field name does not match the expected naming convention.

See Also:

• Field.setAccessible(boolean)

setOpenParameterFromEnumeration

public IAlgorithmParameters setOpenParameterFromEnumeration(Class<? extends Enum<?>> className,
 String propertyName,
 String value)

Sets an open parameter (defined within a known enumeration) by mapping the given propertyName to the appropriate enum constant in className, and assigning the provided value.

Currently, this is primarily used for DBMSDriverParameters.

Specified by:

setOpenParameterFromEnumeration in interface IAlgorithmParameters

Parameters:

className - the enum's class, e.g., DBMSDriverParameters.class

propertyName - the name of the enum constant, e.g., "URL" or "USER_NAME"

value - the string value to assign to this parameter

Returns:

this IAlgorithmParameters instance for method chaining

Throws:

IllegalArgumentException - if propertyName does not match any known constant in className

setOpenParameterFromEnumeration

public IAlgorithmParameters setOpenParameterFromEnumeration(Enum<?> enumName,
 String propertyName,
 String value)

Similar to setOpenParameterFromEnumeration(Class, String, String), but takes an enumName instead of the enum className. This method is used to handle open parameters where the parent enumeration is already determined.

Specified by:

setOpenParameterFromEnumeration in interface IAlgorithmParameters

Parameters:

enumName - the enumeration constant representing the parameter category

propertyName - the name of the specific parameter within that category

value - the string value to assign to the parameter

Returns:

this IAlgorithmParameters instance for method chaining

Throws:

IllegalArgumentException - if propertyName does not match any recognized constant for the given enumName

setOpenParameter

public IAlgorithmParameters setOpenParameter(InteGraalKeywords k,
 Object value)

Sets an open parameter (one that is not tied to a closed enumeration of values) by matching its name to one of the fields declared in this class. If found, the field is updated with the provided value.

Specified by:

setOpenParameter in interface IAlgorithmParameters

Parameters:

k - the keyword representing the parameter name

value - the value to set (type Object because parameters can vary)

Returns:

this IAlgorithmParameters instance for method chaining

Throws:

RuntimeException - if the parameter field cannot be found or set

See Also:

• Field.setAccessible(boolean)

toString

public String toString()

Returns a string representation of this AlgorithmParameters object, which includes key fields and values.

Overrides:

toString in class Object

Returns:

a string describing the fields in this class

getExplanation

public Optional<InteGraalKeywords.Algorithms.Parameters.Explanation> getExplanation()

setExplanationCategory

public IAlgorithmParameters setExplanationCategory(InteGraalKeywords.Algorithms.Parameters.Explanation explanationCategory)

getExplainerSolver

public Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerSolver> getExplainerSolver()

setExplainerSolver

public IAlgorithmParameters setExplainerSolver(InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerSolver solver)

getExplanationSupportType

public Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.ExplanationSupportType> getExplanationSupportType()

setExplanationSupportType

public IAlgorithmParameters setExplanationSupportType(InteGraalKeywords.Algorithms.Parameters.Explanation.ExplanationSupportType explanationSupportType)

getExplainerVerbosity

public Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerVerbosity> getExplainerVerbosity()

setExplainerVerbosity

public IAlgorithmParameters setExplainerVerbosity(InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerVerbosity verbosity)

getGraphOfRuleInstancesType

public Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesType> getGraphOfRuleInstancesType()

setGraphOfRuleInstancesType

public IAlgorithmParameters setGraphOfRuleInstancesType(InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesType griType)

getGraphOfRuleInstancesComputation

public Optional<InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesComputation> getGraphOfRuleInstancesComputation()

setGraphOfRuleInstancesType

public IAlgorithmParameters setGraphOfRuleInstancesType(InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesComputation griComputation)

getGMUSSolverTreshold

public Optional<Integer> getGMUSSolverTreshold()

setGMUSSolverTreshold

public IAlgorithmParameters setGMUSSolverTreshold(int treshold)