org.mindswap.pellet.tbox.impl
Class TuBox
java.lang.Object
org.mindswap.pellet.tbox.impl.TBoxImpl
org.mindswap.pellet.tbox.impl.TuBox
- All Implemented Interfaces:
- TBox
public class TuBox
- extends TBoxImpl
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 |
TuBox
public TuBox(KnowledgeBase kb)
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.