org.semanticweb.elk.reasoner.saturation

Interface ContextModificationListener

public interface ContextModificationListener

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

Fields

Modifier and Type	Field and Description
static ContextModificationListener	DUMMY

Method Summary

Methods

Modifier and Type	Method and Description
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