Propagation (ELK Reasoner 0.4.2 API)

Nested Classes
Modifier and Type	Class and Description
`static class`	`Propagation.ThisBackwardLinkRule`

Constructors
Constructor and Description
`Propagation(IndexedPropertyChain relation, IndexedClassExpression carry)`

Methods
Modifier and Type	Method and Description
`<R> R`	`accept(ConclusionVisitor<R> visitor, Context context)`
`boolean`	`addToContextBackwardLinkRule(Context context)`
`void`	`apply(BasicSaturationStateWriter writer, Context context)`
`boolean`	`containsBackwardLinkRule(Context context)`
`Context`	`getSourceContext(Context contextWhereStored)`
`boolean`	`removeFromContextBackwardLinkRule(Context context)`
`String`	`toString()`

public Propagation(IndexedPropertyChain relation,
           IndexedClassExpression carry)

public void apply(BasicSaturationStateWriter writer,
         Context context)

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

public boolean addToContextBackwardLinkRule(Context context)

public boolean removeFromContextBackwardLinkRule(Context context)

public boolean containsBackwardLinkRule(Context context)

Class Propagation