org.mindswap.pellet.tbox.impl
Class TBoxBase

java.lang.Object
  extended by 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
           
 
Constructor Summary
TBoxBase(TBoxExpImpl tbox)
           
 
Method Summary
 boolean addDef(aterm.ATermAppl def)
           
 boolean contains(aterm.ATerm name)
           
 TermDefinition getTD(aterm.ATerm name)
           
 boolean isEmpty()
           
 boolean removeDef(aterm.ATermAppl axiom)
           
 int size()
          Returns the number of term definitions stored in this TBox.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static java.util.logging.Logger log
Constructor Detail

TBoxBase

public TBoxBase(TBoxExpImpl tbox)
Method Detail

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.