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

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

All Implemented Interfaces:

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

Enclosing class:

IndexedObjectIntersectionOf

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

Method Summary

void	accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
boolean	addTo(Chain<ChainableRule<Context>> ruleChain)
void	apply(BasicSaturationStateWriter writer, Context context) Applying the rule to an element within a BasicSaturationStateWriter
Map<IndexedClassExpression,IndexedObjectIntersectionOf>	getConjunctionsByConjunct()
String	getName()
boolean	removeFrom(Chain<ChainableRule<Context>> ruleChain)

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, toString, 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

getName

public String getName()

Specified by:

getName in interface Rule<Context>

Returns:

the name of this rule

getConjunctionsByConjunct

public Map<IndexedClassExpression,IndexedObjectIntersectionOf> getConjunctionsByConjunct()

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>