public class ElkClassAssertionAxiomImpl extends ElkObjectImpl implements ElkClassAssertionAxiom
| Modifier and Type | Field and Description |
|---|---|
protected ElkClassExpression |
classExpression |
protected ElkIndividual |
individual |
| Modifier and Type | Method and Description |
|---|---|
<O> O |
accept(ElkAssertionAxiomVisitor<O> visitor) |
<O> O |
accept(ElkAxiomVisitor<O> visitor) |
<O> O |
accept(ElkObjectVisitor<O> visitor) |
ElkClassExpression |
getClassExpression() |
ElkIndividual |
getIndividual() |
protected final ElkIndividual individual
protected final ElkClassExpression classExpression
public ElkClassExpression getClassExpression()
getClassExpression in interface ElkClassAssertionAxiompublic ElkIndividual getIndividual()
getIndividual in interface ElkClassAssertionAxiompublic <O> O accept(ElkAssertionAxiomVisitor<O> visitor)
accept in interface ElkAssertionAxiompublic <O> O accept(ElkAxiomVisitor<O> visitor)
public <O> O accept(ElkObjectVisitor<O> visitor)
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.