net.ssehub.easy.reasoning.core.frontend

Interface IReasonerListener

public interface IReasonerListener

Listener for the IReasoner, to inform the caller of the reasoner, that the reasoning has been finished.

Author:

El-Sharkawy

Method Summary

Modifier and Type	Method and Description
void	reasoningFinished(ReasoningResult result) This method will be called after the reasoner is finished.

Method Detail

reasoningFinished

void reasoningFinished(ReasoningResult result)

This method will be called after the reasoner is finished.

Parameters:

result - The result of the reasoning, can also contain warnings and errors.