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 |
|
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<Pair<aterm.ATermAppl,java.util.Set<aterm.ATermAppl>>> |
unfold(aterm.ATermAppl c)
|
void |
updateDef(aterm.ATermAppl axiom)
|
| 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<Pair<aterm.ATermAppl,java.util.Set<aterm.ATermAppl>>> 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.