Contradiction (ELK Reasoner 0.4.2 API)

Nested Classes
Modifier and Type	Class and Description
`static class`	`Contradiction.ContradictionBackwardLinkRule` A backward link rule to propagate contradiction through any new backward links

Methods
Modifier and Type	Method and Description
`<R> R`	`accept(ConclusionVisitor<R> visitor, Context context)`
`void`	`apply(BasicSaturationStateWriter engine, Context context)`
`void`	`deapply(BasicSaturationStateWriter engine, Context context)`
`static Contradiction`	`getInstance()`
`String`	`toString()`

Methods inherited from class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion
getSourceContext

public static Contradiction getInstance()

public void deapply(BasicSaturationStateWriter engine,
           Context context)

public void apply(BasicSaturationStateWriter engine,
         Context context)

public <R> R accept(ConclusionVisitor<R> visitor,
           Context context)

Class Contradiction