org.semanticweb.elk.owl.implementation
Class ElkSameIndividualAxiomImpl

java.lang.Object
  extended by org.semanticweb.elk.owl.implementation.ElkObjectImpl
      extended by org.semanticweb.elk.owl.implementation.ElkObjectListObject<ElkIndividual>
          extended by org.semanticweb.elk.owl.implementation.ElkIndividualListObject
              extended by org.semanticweb.elk.owl.implementation.ElkSameIndividualAxiomImpl
All Implemented Interfaces:
ElkAssertionAxiom, ElkAxiom, ElkObject, ElkSameIndividualAxiom

public class ElkSameIndividualAxiomImpl
extends ElkIndividualListObject
implements ElkSameIndividualAxiom

ELK implementation of ElkSameIndividualAxiom.

Author:
Markus Kroetzsch

Field Summary
 
Fields inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject
elkObjects
 
Method Summary
<O> O
accept(ElkAssertionAxiomVisitor<O> visitor)
           
<O> O
accept(ElkAxiomVisitor<O> visitor)
           
<O> O
accept(ElkObjectVisitor<O> visitor)
           
 
Methods inherited from class org.semanticweb.elk.owl.implementation.ElkIndividualListObject
getIndividuals
 
Methods inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject
varArgsToList, varArgsToList
 
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.owl.interfaces.ElkSameIndividualAxiom
getIndividuals
 

Method Detail

accept

public <O> O accept(ElkAssertionAxiomVisitor<O> visitor)
Specified by:
accept in interface ElkAssertionAxiom

accept

public <O> O accept(ElkAxiomVisitor<O> visitor)
Specified by:
accept in interface ElkAxiom

accept

public <O> O accept(ElkObjectVisitor<O> visitor)
Specified by:
accept in interface ElkObject


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.