Package com.semedy.reasoner.api.rewriter

Interface Rewriter

All Known Implementing Classes:

ActionRewriter, AxiomInjector, BetweenRewriter, BottomUpOrderingRewriter, BottomUpRuleSelector, CompareRewriter, DebuggingRewriter, DynamicOptimizer, ElementOfRewriter, EliminateRedundantBodiesRewriter, EqualRewriter, FillNullRewriter, FilterRewriter, FolderRewriter, FullFolderRewriter, FunctionalRewriter, IsaRewriter, MagicSetRewriter, ModuleRewriter, PathRewriter, PropagateConstantsRewriter, PropagateConstraintsRewriter, QueryHandler, QueryRuleRewriter, RemoveDoubleLiterals, RewriterSkeleton, SnapshotRewriter, Splitter, TopDownOrderingRewriter, Unfolder

public interface Rewriter

interface for a rewriter for rules.
A rewriter changes the set of rules for e.g. optimization

Author:

angele

Method Summary

Modifier and Type	Method	Description
String	getDescription()	get a description for the rewriter
String	getName()	get the name of a rewriter
boolean	readsSymbolTable()	indicates whether rewriter has to read the symbol table
IntensionalDB	rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)	applies the rewriter to a set of rules
void	setBuiltinProvider(BuiltinProvider builtinProvider)	sets the built-in provider for the rewriter
void	setProperties(Properties prp)	set properties
void	setStatistics(SystemMonitor statistics)	adds a system monitor which has run time data about rules.
boolean	writesSymbolTable()	indicates whether rewriter modifies the symbol table

Method Details

getName

String getName()

get the name of a rewriter

Returns:

getDescription

String getDescription()

get a description for the rewriter

Returns:

readsSymbolTable

boolean readsSymbolTable()

indicates whether rewriter has to read the symbol table

Returns:

writesSymbolTable

boolean writesSymbolTable()

indicates whether rewriter modifies the symbol table

Returns:

setBuiltinProvider

void setBuiltinProvider(BuiltinProvider builtinProvider)

sets the built-in provider for the rewriter

Parameters:

builtinProvider -

rewrite

IntensionalDB rewrite(IntensionalDB idb,
 ExtensionalDB[] edbs,
 SymbolTable symbolTable,
 ExternalDataTypeProvider datatypes,
 Configuration config)
               throws InterruptedException,
RewriterException,
IOException,
SemReasonerException

applies the rewriter to a set of rules

Parameters:

idb - , intensional database

edbs - , extensional databases, the last one is used for snapshot transaction data

symbolTable - , symbol table

datatypes - , the external datatypes

config - , configuration

Returns:

Throws:

InterruptedException

RewriterException

IOException

SemReasonerException

setStatistics

void setStatistics(SystemMonitor statistics)

adds a system monitor which has run time data about rules.

Parameters:

statistics -

setProperties

void setProperties(Properties prp)

set properties

Parameters:

prp -