org.mindswap.pellet.tbox.impl

Class TgBox

java.lang.Object

org.mindswap.pellet.tbox.impl.TBoxBase

org.mindswap.pellet.tbox.impl.TgBox

public class TgBox
extends TBoxBase

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Fields inherited from class org.mindswap.pellet.tbox.impl.TBoxBase

kb, tbox, termhash

Constructor Summary

Constructors

Constructor and Description
TgBox(TBoxExpImpl tbox)

Method Summary

Methods

Modifier and Type	Method and Description
void	absorb()
List<Unfolding>	getUC()
void	internalize()
void	print()
void	print(Appendable out)
int	size() Returns the number of term definitions stored in this TBox.
String	toString()

Methods inherited from class org.mindswap.pellet.tbox.impl.TBoxBase

addDef, contains, getTD, isEmpty, removeDef

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

log

public static final Logger log

Constructor Detail

TgBox

public TgBox(TBoxExpImpl tbox)

Method Detail

internalize

public void internalize()

absorb

public void absorb()

getUC

public List<Unfolding> getUC()

Returns:

Returns the UC.

size

public int size()

Description copied from class: TBoxBase

Returns the number of term definitions stored in this TBox.

Overrides:

size in class TBoxBase

Returns:

print

public void print(Appendable out)

print

public void print()

toString

public String toString()

Overrides:

toString in class Object