org.mindswap.pellet.tbox.impl
Class TuBox

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

public class TuBox
extends TBoxImpl


Field Summary
 
Fields inherited from class org.mindswap.pellet.tbox.impl.TBoxImpl
DEBUG, factory, refersTo, Tg, Tu
 
Constructor Summary
TuBox(KnowledgeBase kb)
           
 
Method Summary
 boolean addIfUnfoldable(aterm.ATermAppl term)
           
 boolean isUnfoldable()
           
 void normalize()
          Normalize all the definitions in the Tu
 void print()
           
static void printStatistics()
           
 void resetCache()
           
 void setAllowEvenLoops(boolean value)
           
 void unfold()
           
 aterm.ATermAppl unfoldTerm(aterm.ATermAppl term)
           
 
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, getUC, getUnfoldingMap, internalize, isEmpty, isPrimitive, main, size, split, toList, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TuBox

public TuBox(KnowledgeBase kb)
Method Detail

setAllowEvenLoops

public void setAllowEvenLoops(boolean value)

normalize

public void normalize()
Normalize all the definitions in the Tu

Specified by:
normalize in interface TBox
Overrides:
normalize in class TBoxImpl

addIfUnfoldable

public boolean addIfUnfoldable(aterm.ATermAppl term)

printStatistics

public static void printStatistics()

isUnfoldable

public boolean isUnfoldable()

resetCache

public void resetCache()

unfoldTerm

public aterm.ATermAppl unfoldTerm(aterm.ATermAppl term)
                           throws NotUnfoldableException
Throws:
NotUnfoldableException

unfold

public void unfold()
            throws NotUnfoldableException
Throws:
NotUnfoldableException

print

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


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