J - the type of the input jobs of
ClassExpressionSaturationFactorypublic interface ClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>> extends InputProcessorListenerNotifyFinishedJob<J>
ClassExpressionSaturationFactory. The
listener defines functions are triggered during saturation.notifyFinishedCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.