org.deri.iris
Class Configuration

java.lang.Object
  org.deri.iris.Configuration

public class Configuration
extends Object

This class holds all configuration data for a knowledge base.

Nested Class Summary

static class

Configuration.DivideByZeroBehaviour The different options for handling divide by zero in arithmetic built-ins during evaluation.

Field Summary

IEquivalentTermsFactory	equivalentTermsFactory The equivalent terms factory to use.
Configuration.DivideByZeroBehaviour	evaluationDivideByZeroBehaviour The desired divide-by-zero behaviour.
int	evaluationMaxComplexity The maximum complexity (tree depth) of inferred constructed terms.
int	evaluationMaxTuples The maximum number of tuples that are allowed to be generated during evaluation before evaluation is terminated.
IEvaluationStrategyFactory	evaluationStrategyFactory The evaluation strategy to use.
int	evaluationTimeoutMilliseconds The evaluation timeout in milliseconds.
List<IDataSource>	externalDataSources Add external data sources here.
int	floatingPointDoublePrecision The number of bits of precision to use for comparing double term values.
int	floatingPointFloatPrecision The number of bits of precision to use for comparing float term values.
IIndexFactory	indexFactory The factory for creating indexes required during evaluation.
List<IProgramOptimisation>	programOptmimisers Collection of program optimisations.
IRelationFactory	relationFactory The factory for creating relations required during evaluation.
IRuleReOrderingOptimiser	reOrderingOptimiser The collection of rule-reordering optimisers.
IRuleHeadEqualityPreProcessor	ruleHeadEqualityPreProcessor The rule head equality pre-processor.
List<IRuleOptimiser>	ruleOptimisers The collection of rule optimisers.
IRuleSafetyProcessor	ruleSafetyProcessor Rule safety processors (e.g.
List<IRuleStratifier>	stratifiers The collection of rule set stratifiers.

Constructor Summary

Configuration()
Constructor.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

evaluationStrategyFactory

public IEvaluationStrategyFactory evaluationStrategyFactory

The evaluation strategy to use.

evaluationTimeoutMilliseconds

public int evaluationTimeoutMilliseconds

The evaluation timeout in milliseconds. Zero means no timeout.

evaluationMaxTuples

public int evaluationMaxTuples

The maximum number of tuples that are allowed to be generated during evaluation before evaluation is terminated. Zero means that there is no maximum.

evaluationMaxComplexity

public int evaluationMaxComplexity

The maximum complexity (tree depth) of inferred constructed terms. This is a constraint that can avoid the non-convergence problem for knowledge-bases containing rules such as: p( f(X) ) :- p( X )

evaluationDivideByZeroBehaviour

public Configuration.DivideByZeroBehaviour evaluationDivideByZeroBehaviour

The desired divide-by-zero behaviour.

relationFactory

public IRelationFactory relationFactory

The factory for creating relations required during evaluation.

indexFactory

public IIndexFactory indexFactory

The factory for creating indexes required during evaluation.

floatingPointDoublePrecision

public int floatingPointDoublePrecision

The number of bits of precision to use for comparing double term values.

floatingPointFloatPrecision

public int floatingPointFloatPrecision

The number of bits of precision to use for comparing float term values.

externalDataSources

public final List<IDataSource> externalDataSources

Add external data sources here.

stratifiers

public final List<IRuleStratifier> stratifiers

The collection of rule set stratifiers.

ruleOptimisers

public final List<IRuleOptimiser> ruleOptimisers

The collection of rule optimisers.

reOrderingOptimiser

public IRuleReOrderingOptimiser reOrderingOptimiser

The collection of rule-reordering optimisers.

programOptmimisers

public final List<IProgramOptimisation> programOptmimisers

Collection of program optimisations.

ruleSafetyProcessor

public IRuleSafetyProcessor ruleSafetyProcessor

Rule safety processors (e.g. standard rule-safety check and augmented-unsafe-rule modifier).

ruleHeadEqualityPreProcessor

public IRuleHeadEqualityPreProcessor ruleHeadEqualityPreProcessor

The rule head equality pre-processor.

equivalentTermsFactory

public IEquivalentTermsFactory equivalentTermsFactory

The equivalent terms factory to use.

Constructor Detail

Configuration

public Configuration()

Constructor.