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

Field Summary

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

kb, log, tbox, termhash

Constructor Summary

Constructors

Constructor and Description
TuBox(TBoxExpImpl tbox)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addDef(aterm.ATermAppl axiom)
boolean	addIfUnfoldable(aterm.ATermAppl term)
protected boolean	findTarget(aterm.ATermAppl term, aterm.ATermAppl target, Set<aterm.ATermAppl> seen)
void	normalize() Normalize all the definitions in the Tu
void	print()
void	print(Appendable out)
boolean	removeDef(aterm.ATermAppl axiom)
String	toString()
List<Unfolding>	unfold(aterm.ATermAppl c)
void	updateDef(aterm.ATermAppl axiom)

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

contains, getTD, isEmpty, size

Methods inherited from class java.lang.Object

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

Constructor Detail

TuBox

public TuBox(TBoxExpImpl tbox)

Method Detail

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 List<Unfolding> unfold(aterm.ATermAppl c)

normalize

public void normalize()

Normalize all the definitions in the Tu

addIfUnfoldable

public boolean addIfUnfoldable(aterm.ATermAppl term)

findTarget

protected boolean findTarget(aterm.ATermAppl term,
                 aterm.ATermAppl target,
                 Set<aterm.ATermAppl> seen)

print

public void print(Appendable out)

print

public void print()

toString

public String toString()

Overrides:

toString in class Object