|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tbox.impl.TBoxImpl
org.mindswap.pellet.tbox.impl.TgBox
public class TgBox
Field Summary |
---|
Fields inherited from class org.mindswap.pellet.tbox.impl.TBoxImpl |
---|
DEBUG, factory, refersTo, Tg, Tu |
Constructor Summary | |
---|---|
TgBox(KnowledgeBase kb)
|
Method Summary | |
---|---|
void |
absorb(TuBox tu)
|
aterm.ATermList |
getUC()
|
void |
internalize()
|
void |
print()
|
static void |
printStatistics()
|
int |
size()
Returns the number of term definitions stored in this TBox. |
Methods inherited from class org.mindswap.pellet.tbox.impl.TBoxImpl |
---|
absorb, addAxiom, addAxioms, addAxioms, addClass, addDef, addPrintHook, contains, getAllClasses, getAxioms, getAxioms, getClasses, getTD, getTgSize, getTuSize, getUnfoldingMap, isEmpty, isPrimitive, main, normalize, split, toList, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public TgBox(KnowledgeBase kb)
Method Detail |
---|
public static void printStatistics()
public void internalize()
internalize
in interface TBox
internalize
in class TBoxImpl
public void absorb(TuBox tu)
public aterm.ATermList getUC()
getUC
in interface TBox
getUC
in class TBoxImpl
public int size()
TBoxImpl
size
in interface TBox
size
in class TBoxImpl
public void print()
print
in interface TBox
print
in class TBoxImpl
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |