cz.cuni.mff.ksi.jinfer.functionalDependencies.interfaces
Interface ModelGeneratorCallback

public interface ModelGeneratorCallback

Interface defining a response to ModelGenerator finishing its work.

Method Summary

void	finished(InitialModel model) This method is called by a ModelGenerator implementation, after it has finished its work.

Method Detail

finished

void finished(InitialModel model)

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

Parameters:

model - Initial model as retrieved from input files.