org.semanticweb.elk.reasoner.incremental

Interface NonIncrementalChangeListener<T>

public interface NonIncrementalChangeListener<T>

TODO doc

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

Fields

Modifier and Type	Field and Description
static NonIncrementalChangeListener<ElkAxiom>	DUMMY

Method Summary

Methods

Modifier and Type	Method and Description
void	notify(T axiom)

Field Detail

DUMMY

static final NonIncrementalChangeListener<ElkAxiom> DUMMY

Method Detail

notify

void notify(T axiom)