org.mindswap.pellet.tbox.impl
Class TermDefinition
java.lang.Object
org.mindswap.pellet.tbox.impl.TermDefinition
public class TermDefinition
- extends java.lang.Object
- Author:
- Evren Sirin
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TermDefinition
public TermDefinition()
getDependencies
public java.util.Set<aterm.ATermAppl> getDependencies()
clearDependencies
public void clearDependencies()
getName
public aterm.ATermAppl getName()
addDef
public boolean addDef(aterm.ATermAppl appl)
removeDef
public boolean removeDef(aterm.ATermAppl axiom)
isPrimitive
public boolean isPrimitive()
isUnique
public boolean isUnique()
isUnique
public boolean isUnique(aterm.ATermAppl axiom)
getSubClassAxioms
public java.util.List<aterm.ATermAppl> getSubClassAxioms()
getEqClassAxioms
public java.util.List<aterm.ATermAppl> getEqClassAxioms()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
Copyright © 2004 Evren Sirin. All Rights Reserved.