org.mindswap.pellet.tbox.impl
Class TBoxBase
java.lang.Object
org.mindswap.pellet.tbox.impl.TBoxBase
- Direct Known Subclasses:
- TgBox, TuBox
public class TBoxBase
- extends java.lang.Object
Field Summary |
static java.util.logging.Logger |
log
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
log
public static java.util.logging.Logger log
TBoxBase
public TBoxBase(TBoxExpImpl tbox)
addDef
public boolean addDef(aterm.ATermAppl def)
removeDef
public boolean removeDef(aterm.ATermAppl axiom)
contains
public boolean contains(aterm.ATerm name)
getTD
public TermDefinition getTD(aterm.ATerm name)
isEmpty
public boolean isEmpty()
size
public int size()
- Returns the number of term definitions stored in this TBox.
- Returns:
Copyright © 2004 Evren Sirin. All Rights Reserved.