org.mindswap.pellet.tbox.impl

Class TermDefinition

java.lang.Object

org.mindswap.pellet.tbox.impl.TermDefinition

public class TermDefinition
extends Object

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
TermDefinition()

Method Summary

Modifier and Type	Method and Description
boolean	addDef(aterm.ATermAppl appl)
void	clearDependencies()
Set<aterm.ATermAppl>	getDependencies()
List<aterm.ATermAppl>	getEqClassAxioms()
aterm.ATermAppl	getName()
List<aterm.ATermAppl>	getSubClassAxioms()
boolean	isPrimitive()
boolean	isUnique()
boolean	isUnique(aterm.ATermAppl axiom)
boolean	removeDef(aterm.ATermAppl axiom)
String	toString()
protected void	updateDependencies()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TermDefinition

public TermDefinition()

Method Detail

getDependencies

public 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 List<aterm.ATermAppl> getSubClassAxioms()

getEqClassAxioms

public List<aterm.ATermAppl> getEqClassAxioms()

toString

public String toString()

Overrides:

toString in class Object

updateDependencies

protected void updateDependencies()