org.semanticweb.elk.owlapi.wrapper
Class ElkDisjointUnionAxiomWrap<T extends org.semanticweb.owlapi.model.OWLDisjointUnionAxiom>
java.lang.Object
org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap<T>
org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap<T>
org.semanticweb.elk.owlapi.wrapper.ElkClassAxiomWrap<T>
org.semanticweb.elk.owlapi.wrapper.ElkDisjointUnionAxiomWrap<T>
- Type Parameters:
T - the type of the wrapped object
- All Implemented Interfaces:
- ElkAxiom, ElkClassAxiom, ElkDisjointUnionAxiom, ElkObject
public class ElkDisjointUnionAxiomWrap<T extends org.semanticweb.owlapi.model.OWLDisjointUnionAxiom>
- extends ElkClassAxiomWrap<T>
- implements ElkDisjointUnionAxiom
Implements the ElkDisjointUnionAxiom interface by wrapping instances
of OWLDisjointUnionAxiom
- Author:
- Yevgeny Kazakov
| Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom |
accept |
| Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject |
accept |
ElkDisjointUnionAxiomWrap
public ElkDisjointUnionAxiomWrap(T owlClassAxiom)
getClassExpressions
public List<? extends ElkClassExpression> getClassExpressions()
- Specified by:
getClassExpressions in interface ElkDisjointUnionAxiom
getDefinedClass
public ElkClass getDefinedClass()
- Specified by:
getDefinedClass in interface ElkDisjointUnionAxiom
accept
public <O> O accept(ElkClassAxiomVisitor<O> visitor)
- Specified by:
accept in interface ElkClassAxiom- Specified by:
accept in class ElkClassAxiomWrap<T extends org.semanticweb.owlapi.model.OWLDisjointUnionAxiom>
Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.