org.mindswap.pellet.tbox.impl
Class BinaryTBox
java.lang.Object
org.mindswap.pellet.tbox.impl.BinaryTBox
public class BinaryTBox
- 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
|
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
BinaryTBox
public BinaryTBox()
add
public void add(BinarySet<aterm.ATermAppl> set,
aterm.ATermAppl result,
java.util.Set<aterm.ATermAppl> explanation)
unfold
public Unfolding unfold(BinarySet<aterm.ATermAppl> set)
unfold
public java.util.Iterator<Unfolding> unfold(aterm.ATermAppl concept)
contains
public boolean contains(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.