Class IGParameterValueExtractor

java.lang.Object

fr.inria.rules.integraal.configuration.parameters.IGParameterValueExtractor

public class IGParameterValueExtractor
extends Object

Utility methods for extracting typed InteGraal parameters from parameter arrays.

Method Summary

Modifier and Type	Method	Description
static InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerVerbosity	explainerVerbosity(IGParameter<InteGraalKeywords, ?>[] params)	Returns the configured explainer verbosity.
static InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerSolver	getExplainerSolver(IGParameter<InteGraalKeywords, ?>... params)	Returns the configured explainer solver.
static InteGraalKeywords.Algorithms.Parameters.Explanation	getExplanation(IGParameter<InteGraalKeywords, ?>... params)	Returns the configured explanation category.
static InteGraalKeywords.Algorithms.Parameters.Explanation.ExplanationSupportType	getExplanationSupportType(IGParameter<InteGraalKeywords, ?>... params)	Returns the configured explanation support type.
static InteGraalKeywords.Algorithms.Parameters.Explanation	getGMUSSolverTreshold(IGParameter<InteGraalKeywords, ?>... params)	Returns the configured GMUS solver threshold setting.
static InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesComputation	getGRIComputation(IGParameter<InteGraalKeywords, ?>... params)	Returns the configured graph-of-rule-instances computation mode.
static InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesType	getGRIType(IGParameter<InteGraalKeywords, ?>... params)	Returns the configured graph-of-rule-instances representation.
static InteGraalKeywords.Algorithms.Parameters.HybridTypes	getHybridType(IGParameter<InteGraalKeywords, ?>[] params)	Returns the configured hybrid reasoning type.
static InteGraalKeywords.Algorithms.Images	getImage(IGParameter<InteGraalKeywords, ?>... params)	Returns the first image-type parameter.
static Integer	getMax(IGParameter<InteGraalKeywords, ?>... params)	Returns the first maximum-answer parameter.
static Integer	getRank(IGParameter<InteGraalKeywords, ?>... params)	Returns the first rank parameter.
static Duration	getTimeout(IGParameter<InteGraalKeywords, ?>... params)	Returns the first timeout parameter.
static boolean	onlyConstants(IGParameter<InteGraalKeywords, ?>... params)	Indicates whether only constant answers should be retained.

Methods inherited from class Object

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

Method Details

getTimeout

public static Duration getTimeout(IGParameter<InteGraalKeywords, ?>... params)

Returns the first timeout parameter.

Parameters:

params - the parameter array to inspect

Returns:

the first occurrence of a timeout in the params

getRank

public static Integer getRank(IGParameter<InteGraalKeywords, ?>... params)

Returns the first rank parameter.

Parameters:

params - the parameter array to inspect

Returns:

the first occurrence of a rank in the params

getMax

public static Integer getMax(IGParameter<InteGraalKeywords, ?>... params)

Returns the first maximum-answer parameter.

Parameters:

params - the parameter array to inspect

Returns:

the first occurrence of a max in the params

getImage

public static InteGraalKeywords.Algorithms.Images getImage(IGParameter<InteGraalKeywords, ?>... params)

Returns the first image-type parameter.

Parameters:

params - the parameter array to inspect

Returns:

the first occurrence of the type of query image in the params

onlyConstants

public static boolean onlyConstants(IGParameter<InteGraalKeywords, ?>... params)

Indicates whether only constant answers should be retained.

Parameters:

params - the parameter array to inspect

Returns:

returns true if the image type is not explicitly set as ALL

getHybridType

public static InteGraalKeywords.Algorithms.Parameters.HybridTypes getHybridType(IGParameter<InteGraalKeywords, ?>[] params)

Returns the configured hybrid reasoning type.

Parameters:

params - the parameter array to inspect

Returns:

the hybrid reasoning type, if present

explainerVerbosity

public static InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerVerbosity explainerVerbosity(IGParameter<InteGraalKeywords, ?>[] params)

Returns the configured explainer verbosity.

Parameters:

params - the parameter array to inspect

Returns:

the explainer verbosity, if present

getExplainerSolver

public static InteGraalKeywords.Algorithms.Parameters.Explanation.ExplainerSolver getExplainerSolver(IGParameter<InteGraalKeywords, ?>... params)

Returns the configured explainer solver.

Parameters:

params - the parameter array to inspect

Returns:

the explainer solver, if present

getGRIComputation

public static InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesComputation getGRIComputation(IGParameter<InteGraalKeywords, ?>... params)

Returns the configured graph-of-rule-instances computation mode.

Parameters:

params - the parameter array to inspect

Returns:

the GRI computation mode, if present

getGRIType

public static InteGraalKeywords.Algorithms.Parameters.Explanation.GraphOfRuleInstancesType getGRIType(IGParameter<InteGraalKeywords, ?>... params)

Returns the configured graph-of-rule-instances representation.

Parameters:

params - the parameter array to inspect

Returns:

the GRI representation, if present

getExplanationSupportType

public static InteGraalKeywords.Algorithms.Parameters.Explanation.ExplanationSupportType getExplanationSupportType(IGParameter<InteGraalKeywords, ?>... params)

Returns the configured explanation support type.

Parameters:

params - the parameter array to inspect

Returns:

the explanation support type, if present

getExplanation

public static InteGraalKeywords.Algorithms.Parameters.Explanation getExplanation(IGParameter<InteGraalKeywords, ?>... params)

Returns the configured explanation category.

Parameters:

params - the parameter array to inspect

Returns:

the explanation category, if present

getGMUSSolverTreshold

public static InteGraalKeywords.Algorithms.Parameters.Explanation getGMUSSolverTreshold(IGParameter<InteGraalKeywords, ?>... params)

Returns the configured GMUS solver threshold setting.

Parameters:

params - the parameter array to inspect

Returns:

the explanation category carrying the threshold setting, if present