org.mindswap.pellet.tbox.impl
Class TgBox

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.TBoxImpl
      extended by org.mindswap.pellet.tbox.impl.TgBox
All Implemented Interfaces:
TBox

public class TgBox
extends TBoxImpl


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

TgBox

public TgBox(KnowledgeBase kb)
Method Detail

printStatistics

public static void printStatistics()

internalize

public void internalize()
Specified by:
internalize in interface TBox
Overrides:
internalize in class TBoxImpl

absorb

public void absorb(TuBox tu)

getUC

public aterm.ATermList getUC()
Specified by:
getUC in interface TBox
Overrides:
getUC in class TBoxImpl
Returns:
Returns the UC.

size

public int size()
Description copied from class: TBoxImpl
Returns the number of term definitions stored in this TBox.

Specified by:
size in interface TBox
Overrides:
size in class TBoxImpl
Returns:

print

public void print()
Specified by:
print in interface TBox
Overrides:
print in class TBoxImpl


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.