org.mindswap.pellet.tbox.impl
Class BinaryTBox

java.lang.Object
  extended by 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
           
 
Constructor Summary
BinaryTBox()
           
 
Method Summary
 void add(BinarySet<aterm.ATermAppl> set, aterm.ATermAppl result, java.util.Set<aterm.ATermAppl> explanation)
           
 boolean contains(aterm.ATermAppl concept)
           
 void print(java.lang.Appendable out)
           
 java.util.Iterator<Unfolding> unfold(aterm.ATermAppl concept)
           
 Unfolding unfold(BinarySet<aterm.ATermAppl> set)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

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

BinaryTBox

public BinaryTBox()
Method Detail

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.