public class SilentExplanationProgressMonitor extends Object implements ExplanationProgressMonitor
Constructor and Description |
---|
SilentExplanationProgressMonitor() |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
foundAllExplanations, foundExplanation, isCancelled
Copyright © 2020 The University of Manchester. All rights reserved.