jtp.context

Interfaces  DepthMonitor Tracer

Classes  AbstractTracer BasicReasoningContext Configurator DefaultDepthMonitor IterativeDeepening PrintStreamTracer