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

Constructors

Constructor and Description
IndexedAxiom()

Method Summary

Methods

Modifier and Type	Method and Description
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