Uses of Interface
com.semedy.reasoner.api.rewriter.Rewriter

Packages that use Rewriter

Package	Description
com.semedy.reasoner.api.rewriter
com.semedy.reasoner.core
com.semedy.reasoner.exercises
com.semedy.reasoner.rewriter

Uses of Rewriter in com.semedy.reasoner.api.rewriter

Methods in com.semedy.reasoner.api.rewriter that return types with arguments of type Rewriter

Modifier and Type	Method	Description
Iterator<Rewriter>	RewriterProvider.iterator()	Enumerate the rewriters.

Methods in com.semedy.reasoner.api.rewriter with parameters of type Rewriter

Modifier and Type	Method	Description
void	RewriterProvider.registerRewriter(Rewriter rewriter, int index)	add a rewriter at index

Uses of Rewriter in com.semedy.reasoner.core

Classes in com.semedy.reasoner.core that implement Rewriter

Modifier and Type	Class	Description
class	QueryHandler	Query handler manages queries.

Uses of Rewriter in com.semedy.reasoner.exercises

Classes in com.semedy.reasoner.exercises that implement Rewriter

Modifier and Type	Class	Description
class	RemoveDoubleLiterals	a rewriter which removes double literals in rule bodies

Uses of Rewriter in com.semedy.reasoner.rewriter

Classes in com.semedy.reasoner.rewriter that implement Rewriter

Modifier and Type	Class	Description
class	ActionRewriter	This rewriter eliniates redundant bodies in rules
class	AxiomInjector	Adds the OO axioms to the idb if needed
class	BetweenRewriter	This rewriter joins comparisons to between comparisons
class	BottomUpOrderingRewriter	reorders rules and adorns rules that they are top-down evaluable
class	BottomUpRuleSelector	Selects rules bottom up.
class	CompareRewriter	This rewriter deals with size comparisons.
class	DebuggingRewriter	Eliminates rule bodies which are marked by "/".
class	DynamicOptimizer	This rewriter deletes semi joins in rules
class	ElementOfRewriter	This rewriter substitutes member(_,Class) literals by elementOf literals
class	EliminateRedundantBodiesRewriter	This rewriter eliniates redundant bodies in rules
class	EqualRewriter	This rewriter deletes equal predicates in rules
class	FillNullRewriter	This rewriter adds for each value literal in query a set of rules to create null values if there is no value for a property
class	FilterRewriter	This rewriter translates rules into rules which apply to sub relations.
class	FolderRewriter	This rewriter eliniates redundant bodies in rules
class	FullFolderRewriter	folds rules.
class	FunctionalRewriter	Searches for rule body sequences like p(..,?
class	IsaRewriter	Removes isa-literals in a rule if there is an access to at least one unique property
class	MagicSetRewriter	reorders rules and adorns rules that they are top-down evaluable
class	ModuleRewriter	This rewriter adds a module to the rules
class	PathRewriter	This rewriter adds path rules for path expressions
class	PropagateConstantsRewriter	This rewriter propagates constants top-down in the rules and then removes rules which cannot contribute to the answer or instantiates variables with constants in rules
class	PropagateConstraintsRewriter	This rewriter propagates constraints like less,greater top-down in the rules.
class	QueryRuleRewriter	This rewriter creates a rule and a simplified query out of a complex query.
class	RewriterSkeleton	This rewriter ....
class	SnapshotRewriter	This rewriter changes rules and queries such that facts which should be deleted are excluded from reasoning E.g. given the rule p(?
class	Splitter	Splits a rule into two rules if the same join sequence occurs two times.
class	TopDownOrderingRewriter	reorders rules and adorns rules that they are top-down evaluable
class	Unfolder	Unfolder unfolds rules into other rules.