org.mindswap.pellet.tbox.impl
Class TermDefinition
java.lang.Object
org.mindswap.pellet.tbox.impl.TermDefinition
public class TermDefinition
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
dependencies
public java.util.Set dependencies
TermDefinition
public TermDefinition()
TermDefinition
public TermDefinition(TermDefinition td)
getName
public aterm.ATermAppl getName()
addDef
public void addDef(aterm.ATermAppl appl)
removeDef
public void removeDef(int i)
replaceDef
public void replaceDef(int i,
aterm.ATermAppl appl)
isPrimitive
public boolean isPrimitive()
isUnique
public boolean isUnique()
isGCI
public boolean isGCI()
toList
public java.util.List toList()
getDef
public aterm.ATermAppl getDef(int i)
getSub
public aterm.ATermAppl getSub()
getSames
public java.util.List getSames()
size
public int size()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.