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

public interface SimplifierCallback

Interface defining a response to Simplifier finishing its work.

Method Summary

void	finished(List<Element> grammar) This method is called by a Simplifier implementation, after it has finished its work.

Method Detail

finished

void finished(List<Element> grammar)

This method is called by a Simplifier implementation, after it has finished its work.

Parameters:

grammar - Simplified grammar.