org.semanticweb.elk.reasoner.indexing.hierarchy
Class IndexedSubClassOfAxiom.ThisCompositionRule

java.lang.Object
  org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<ChainableRule<Context>>
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

All Implemented Interfaces:

ChainableRule<Context>, LinkRule<Context>, Rule<Context>, Chainable<ChainableRule<Context>>, Link<LinkRule<Context>>, ModifiableLink<ChainableRule<Context>>

Enclosing class:

IndexedSubClassOfAxiom

public static class IndexedSubClassOfAxiom.ThisCompositionRule
extends ModifiableLinkImpl<ChainableRule<Context>>
implements ChainableRule<Context>

Method Summary

void	accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
boolean	addTo(Chain<ChainableRule<Context>> ruleChain)
protected boolean	addToldSuperClassExpression(IndexedClassExpression superClassExpression)
void	apply(BasicSaturationStateWriter writer, Context context) Applying the rule to an element within a BasicSaturationStateWriter
String	getName()
Collection<IndexedClassExpression>	getToldSuperclasses()
boolean	removeFrom(Chain<ChainableRule<Context>> ruleChain)
protected boolean	removeToldSuperClassExpression(IndexedClassExpression superClassExpression)
String	toString()

Methods inherited from class org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl

next, setNext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.elk.util.collections.chains.Link

next

Methods inherited from interface org.semanticweb.elk.util.collections.chains.ModifiableLink

next, setNext

Method Detail

getToldSuperclasses

public Collection<IndexedClassExpression> getToldSuperclasses()

getName

public String getName()

Specified by:

getName in interface Rule<Context>

Returns:

the name of this rule

apply

public void apply(BasicSaturationStateWriter writer,
                  Context context)

Description copied from interface: Rule

Applying the rule to an element within a BasicSaturationStateWriter

Specified by:

apply in interface Rule<Context>

Parameters:

writer - a BasicSaturationStateWriter which could be changed as a result of this rule's application

context - the element to which the rule is applied

addTo

public boolean addTo(Chain<ChainableRule<Context>> ruleChain)

Specified by:

addTo in interface Chainable<ChainableRule<Context>>

removeFrom

public boolean removeFrom(Chain<ChainableRule<Context>> ruleChain)

Specified by:

removeFrom in interface Chainable<ChainableRule<Context>>

accept

public void accept(RuleApplicationVisitor visitor,
                   BasicSaturationStateWriter writer,
                   Context context)

Specified by:

accept in interface LinkRule<Context>

addToldSuperClassExpression

protected boolean addToldSuperClassExpression(IndexedClassExpression superClassExpression)

removeToldSuperClassExpression

protected boolean removeToldSuperClassExpression(IndexedClassExpression superClassExpression)

Parameters:

superClassExpression -

Returns:

true if successfully removed

toString

public String toString()

Overrides:

toString in class Object