Uses of Interface
jtp.context.DepthMonitor

Packages that use DepthMonitor

jtp.context	Provides a basic configuration and interface for JTP.
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.

Uses of DepthMonitor in jtp.context

Classes in jtp.context that implement DepthMonitor

class

DefaultDepthMonitor This is the default implementation of the DepthMonitor interface.

Uses of DepthMonitor in jtp.modelim

Methods in jtp.modelim that return DepthMonitor

DepthMonitor	ModelEliminationReasoner.getDepthMonitor()
DepthMonitor	BreadthFirstForwardReasoner.getDepthMonitor()
DepthMonitor	AncestorCycleCutReasoner.getDepthMonitor()

Methods in jtp.modelim with parameters of type DepthMonitor

void	ModelEliminationReasoner.setDepthMonitor(DepthMonitor v)
void	BreadthFirstForwardReasoner.setDepthMonitor(DepthMonitor v)
void	AncestorCycleCutReasoner.setDepthMonitor(DepthMonitor v)

Uses of DepthMonitor in jtp.rs

Methods in jtp.rs with parameters of type DepthMonitor

static boolean	DefaultCut.isValidCut(int exDepth, DepthMonitor dm)
static boolean	DefaultCut.isValidCut(ReasoningStep ps, DepthMonitor dm)

Constructors in jtp.rs with parameters of type DepthMonitor

DefaultCut(String message, DepthMonitor dm)