org.mindswap.pellet.tbox.impl
Class TuBox
java.lang.Object
org.mindswap.pellet.tbox.impl.TBoxBase
org.mindswap.pellet.tbox.impl.TuBox
public class TuBox
- extends TBoxBase
Fields inherited from class org.mindswap.pellet.tbox.impl.TBoxBase |
log |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TuBox
public TuBox(TBoxExpImpl tbox)
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.