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

Author:
Evren Sirin

Constructor Summary
TermDefinition()
           
 
Method Summary
 boolean addDef(aterm.ATermAppl appl)
           
 void clearDependencies()
           
 java.util.Set<aterm.ATermAppl> getDependencies()
           
 java.util.List<aterm.ATermAppl> getEqClassAxioms()
           
 aterm.ATermAppl getName()
           
 java.util.List<aterm.ATermAppl> getSubClassAxioms()
           
 boolean isPrimitive()
           
 boolean isUnique()
           
 boolean isUnique(aterm.ATermAppl axiom)
           
 boolean removeDef(aterm.ATermAppl axiom)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TermDefinition

public TermDefinition()
Method Detail

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.