PreprocessedConclusionVisitor (ELK Reasoner 0.4.2 API)

java.lang.Object
- org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor<T>

public class PreprocessedConclusionVisitor<T>
extends Object
implements ConclusionVisitor<T>

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

Constructors
Constructor and Description
`PreprocessedConclusionVisitor(ConclusionVisitor<?> preprocessor, ConclusionVisitor<T> visitor)`

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

public PreprocessedConclusionVisitor(ConclusionVisitor<?> preprocessor,
                             ConclusionVisitor<T> visitor)

public T visit(NegativeSubsumer negSCE,
      Context context)

public T visit(PositiveSubsumer posSCE,
      Context context)

public T visit(BackwardLink link,
      Context context)

public T visit(ForwardLink link,
      Context context)

public T visit(Contradiction bot,
      Context context)

public T visit(Propagation propagation,
      Context context)

public T visit(DisjointnessAxiom disjointnessAxiom,
      Context context)

Class PreprocessedConclusionVisitor<T>