ForwardDecompositionRuleApplicationVisitor (ELK Reasoner 0.4.2 API)

java.lang.Object
- org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor

Fields
Modifier and Type	Field and Description
`protected static org.apache.log4j.Logger`	`LOGGER_`

Constructors
Constructor and Description
`ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter writer)`

Methods
Modifier and Type	Method and Description
`protected BasicSaturationStateWriter`	`getSaturationStateWriter()`
`void`	`visit(IndexedClass ice, Context context)`
`void`	`visit(IndexedDataHasValue ice, Context context)`
`void`	`visit(IndexedObjectComplementOf ice, Context context)`
`void`	`visit(IndexedObjectIntersectionOf ice, Context context)`
`void`	`visit(IndexedObjectSomeValuesFrom ice, Context context)`

protected static final org.apache.log4j.Logger LOGGER_

public ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter writer)

public void visit(IndexedObjectSomeValuesFrom ice,
         Context context)

protected BasicSaturationStateWriter getSaturationStateWriter()

public void visit(IndexedClass ice,
         Context context)

public void visit(IndexedDataHasValue ice,
         Context context)

public void visit(IndexedObjectComplementOf ice,
         Context context)

public void visit(IndexedObjectIntersectionOf ice,
         Context context)

Class ForwardDecompositionRuleApplicationVisitor