org.mindswap.pellet.tbox.impl
Class TuBox

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.TBoxBase
      extended by org.mindswap.pellet.tbox.impl.TuBox

public class TuBox
extends TBoxBase


Field Summary
 
Fields inherited from class org.mindswap.pellet.tbox.impl.TBoxBase
log
 
Constructor Summary
TuBox(TBoxExpImpl tbox)
           
 
Method Summary
 boolean addDef(aterm.ATermAppl axiom)
           
 boolean addIfUnfoldable(aterm.ATermAppl term)
           
 void normalize()
          Normalize all the definitions in the Tu
 void print()
           
 void print(java.lang.Appendable out)
           
 boolean removeDef(aterm.ATermAppl axiom)
           
 java.lang.String toString()
           
 java.util.List<Unfolding> unfold(aterm.ATermAppl c)
           
 void updateDef(aterm.ATermAppl axiom)
           
 
Methods inherited from class org.mindswap.pellet.tbox.impl.TBoxBase
contains, getTD, isEmpty, size
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TuBox

public TuBox(TBoxExpImpl tbox)
Method Detail

addDef

public boolean addDef(aterm.ATermAppl axiom)
Overrides:
addDef in class TBoxBase

removeDef

public boolean removeDef(aterm.ATermAppl axiom)
Overrides:
removeDef in class TBoxBase

updateDef

public void updateDef(aterm.ATermAppl axiom)

unfold

public java.util.List<Unfolding> unfold(aterm.ATermAppl c)

normalize

public void normalize()
Normalize all the definitions in the Tu


addIfUnfoldable

public boolean addIfUnfoldable(aterm.ATermAppl term)

print

public void print(java.lang.Appendable out)

print

public void print()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object


Copyright © 2004 Evren Sirin. All Rights Reserved.