org.mindswap.pellet.tbox.impl
Class TermDefinition

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.TermDefinition

public class TermDefinition
extends java.lang.Object


Field Summary
 java.util.Set dependencies
           
 
Constructor Summary
TermDefinition()
           
TermDefinition(TermDefinition td)
           
 
Method Summary
 void addDef(aterm.ATermAppl appl)
           
 aterm.ATermAppl getDef(int i)
           
 aterm.ATermAppl getName()
           
 java.util.List getSames()
           
 aterm.ATermAppl getSub()
           
 boolean isGCI()
           
 boolean isPrimitive()
           
 boolean isUnique()
           
 void removeDef(int i)
           
 void replaceDef(int i, aterm.ATermAppl appl)
           
 int size()
           
 java.util.List toList()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

dependencies

public java.util.Set dependencies
Constructor Detail

TermDefinition

public TermDefinition()

TermDefinition

public TermDefinition(TermDefinition td)
Method Detail

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.