CountingConclusionVisitor (ELK Reasoner 0.4.2 API)

public class CountingConclusionVisitor
extends Object
implements ConclusionVisitor<Integer>

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

Constructors
Constructor and Description
`CountingConclusionVisitor(ConclusionCounter counter)`

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

public CountingConclusionVisitor(ConclusionCounter counter)

public Integer visit(NegativeSubsumer negSCE,
            Context context)

public Integer visit(PositiveSubsumer posSCE,
            Context context)

public Integer visit(BackwardLink link,
            Context context)

public Integer visit(ForwardLink link,
            Context context)

public Integer visit(Contradiction bot,
            Context context)

public Integer visit(Propagation propagation,
            Context context)

public Integer visit(DisjointnessAxiom disjointnessAxiom,
            Context context)

Class CountingConclusionVisitor