cz.cuni.mff.ksi.jinfer.base.interfaces.inference
Interface Simplifier

All Superinterfaces:

Capabilities, NamedModule

All Known Implementing Classes:

TwoStepSimplifierFactory

public interface Simplifier
extends NamedModule, Capabilities

Interface of a Simplifier module.

Simplifier is the second, middle module in the inference process. It receives a raw list of initial grammar rules and should output a simplified yet same grammar. The exact definition of "simplified" varies greatly among different algorithms; "same grammar" means that the languages they describe should be the same.

Method Summary

void	start(List<Element> initialGrammar, SimplifierCallback callback) Start the grammar simplification process.

Methods inherited from interface cz.cuni.mff.ksi.jinfer.base.interfaces.NamedModule

getDisplayName, getModuleDescription, getName

Methods inherited from interface cz.cuni.mff.ksi.jinfer.base.interfaces.Capabilities

getCapabilities

Method Detail

start

void start(List<Element> initialGrammar,
           SimplifierCallback callback)
           throws InterruptedException

Start the grammar simplification process. This method is called by the Runner module as the second stage of inference.

Parameters:

initialGrammar - Initial Grammar to be simplified.

callback - A callback object. When the initial grammar is simplified, the resulting list of rules must be sent to the last stage by calling the finished() method of this object.

Throws:

InterruptedException