keel.GraphInterKeel.experiments

Interface IEducationalRunListener<A extends EducationalRun>

All Known Implementing Classes:

Experiments

public interface IEducationalRunListener<A extends EducationalRun>

Method Summary

Modifier and Type	Method and Description
void	closedEducationalExec(EducationalRunEvent<A> event) Window of partitions is closed by user, then this method is invoqued

Method Detail

closedEducationalExec

void closedEducationalExec(EducationalRunEvent<A> event)

Window of partitions is closed by user, then this method is invoqued

Parameters:

event - Event