Uses of Interface
jtp.context.Tracer

Packages that use Tracer

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.

Uses of Tracer in jtp.context

Classes in jtp.context that implement Tracer

class	AbstractTracer Default implementation of Tracer.
class	PrintStreamTracer An implementation of Tracer that writes trace information to a PrintStream.

Fields in jtp.context declared as Tracer

Tracer	BasicReasoningContext.tracer
static Tracer	AbstractTracer.silent

Methods in jtp.context that return Tracer

Tracer	IterativeDeepening.getTracer()
Tracer	BasicReasoningContext.getTracer() Returns the tracer being used by the system.

Methods in jtp.context with parameters of type Tracer

void	IterativeDeepening.setTracer(Tracer v)
void	BasicReasoningContext.setTracer(Tracer v) Sets the tracer to be used by the system.

Uses of Tracer in jtp.modelim

Methods in jtp.modelim that return Tracer

Tracer	ModelEliminationReasoner.getTracer()
Tracer	BreadthFirstForwardReasoner.getTracer()

Methods in jtp.modelim with parameters of type Tracer

void	ModelEliminationReasoner.setTracer(Tracer v)
void	BreadthFirstForwardReasoner.setTracer(Tracer v)