org.semanticweb.elk.reasoner.indexing.hierarchy
Class IndexedAxiom

java.lang.Object
  org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom

Direct Known Subclasses:

IndexedDisjointnessAxiom, IndexedSubClassOfAxiom

public abstract class IndexedAxiom
extends IndexedObject

Constructor Summary

IndexedAxiom()

Method Summary

abstract <O> O	accept(IndexedAxiomVisitor<O> visitor)
<O> O	accept(IndexedObjectVisitor<O> visitor)

Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

occurs, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexedAxiom

public IndexedAxiom()

Method Detail

accept

public abstract <O> O accept(IndexedAxiomVisitor<O> visitor)

accept

public <O> O accept(IndexedObjectVisitor<O> visitor)

Specified by:

accept in class IndexedObject