org.semanticweb.elk.reasoner.saturation
Interface ContextModificationListener

public interface ContextModificationListener

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

static ContextModificationListener

DUMMY

Method Summary

void	notifyContextModification(Context context) Invoked right after the context has been marked as saturated or not saturated

Field Detail

DUMMY

static final ContextModificationListener DUMMY

Method Detail

notifyContextModification

void notifyContextModification(Context context)

Invoked right after the context has been marked as saturated or not saturated