TimedConclusionVisitor (ELK Reasoner 0.4.2 API)

public class TimedConclusionVisitor
extends Object
implements ConclusionVisitor<Long>

Field Summary
- Fields inherited from interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor
  DUMMY

Constructors
Constructor and Description
`TimedConclusionVisitor(ConclusionTimer timer, ConclusionVisitor<?> processor)`

Methods
Modifier and Type	Method and Description
`Long`	`visit(BackwardLink link, Context context)`
`Long`	`visit(Contradiction bot, Context context)`
`Long`	`visit(DisjointnessAxiom disjointnessAxiom, Context context)`
`Long`	`visit(ForwardLink link, Context context)`
`Long`	`visit(NegativeSubsumer negSCE, Context context)`
`Long`	`visit(PositiveSubsumer posSCE, Context context)`
`Long`	`visit(Propagation propagation, Context context)`

public TimedConclusionVisitor(ConclusionTimer timer,
                      ConclusionVisitor<?> processor)

public Long visit(NegativeSubsumer negSCE,
         Context context)

public Long visit(PositiveSubsumer posSCE,
         Context context)

public Long visit(BackwardLink link,
         Context context)

public Long visit(ForwardLink link,
         Context context)

public Long visit(Contradiction bot,
         Context context)

public Long visit(Propagation propagation,
         Context context)

public Long visit(DisjointnessAxiom disjointnessAxiom,
         Context context)

Class TimedConclusionVisitor