ua.gradsoft.termware
Interface ITermRewritingStrategy

All Superinterfaces:

ITermTransformer

All Known Implementing Classes:

AbstractTermRewritingStrategy, BTStrategy, FirstTopStrategy, NFirstTopsStrategy, TopDownStrategy

public interface ITermRewritingStrategy
extends ITermTransformer

general interface for rewriting strategy

Method Summary

TransformersStar	getStar() get transformer star
boolean	hasOtherwise() if current ruleset contains OTHERWISE($x) entry ? return true if current ruleset contains rule OTHERWISE($x) -> something
Term	transform(Term t, TermSystem system, TransformationContext ctx) transform t

Methods inherited from interface ua.gradsoft.termware.ITermTransformer

getDescription, getName, getSource

Method Detail

transform

Term transform(Term t,
               TermSystem system,
               TransformationContext ctx)
               throws TermWareException

transform t

Specified by:

transform in interface ITermTransformer

Parameters:

t - - term to transform

system - - system which we use

ctx - - context of transformation

Returns:

- transformed term.

Throws:

TermWareException

getStar

TransformersStar getStar()

get transformer star

Returns:

star of transformers

hasOtherwise

boolean hasOtherwise()

if current ruleset contains OTHERWISE($x) entry ? return true if current ruleset contains rule OTHERWISE($x) -> something