org.mindswap.pellet.tbox.impl
Class UnaryTBox
java.lang.Object
org.mindswap.pellet.tbox.impl.UnaryTBox
public class UnaryTBox
- extends java.lang.Object
Title:
Description:
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
Field Summary |
static java.util.logging.Logger |
log
|
Method Summary |
void |
add(aterm.ATermAppl sub,
aterm.ATermAppl sup,
java.util.Set<aterm.ATermAppl> explanation)
|
void |
print(java.lang.Appendable out)
|
boolean |
remove(aterm.ATermAppl axiom)
|
java.util.Iterator<Unfolding> |
unfold(aterm.ATermAppl concept)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
log
public static final java.util.logging.Logger log
UnaryTBox
public UnaryTBox()
add
public void add(aterm.ATermAppl sub,
aterm.ATermAppl sup,
java.util.Set<aterm.ATermAppl> explanation)
remove
public boolean remove(aterm.ATermAppl axiom)
unfold
public java.util.Iterator<Unfolding> unfold(aterm.ATermAppl concept)
print
public void print(java.lang.Appendable out)
throws java.io.IOException
- Throws:
java.io.IOException
Copyright © 2004 Evren Sirin. All Rights Reserved.