org.mindswap.pellet.tbox.impl

Class BinaryTBox

java.lang.Object

org.mindswap.pellet.tbox.impl.BinaryTBox

public class BinaryTBox
extends Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
BinaryTBox()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(BinarySet<aterm.ATermAppl> set, aterm.ATermAppl result, Set<aterm.ATermAppl> explanation)
boolean	contains(aterm.ATermAppl concept)
void	print(Appendable out)
Iterator<Unfolding>	unfold(aterm.ATermAppl concept)
Unfolding	unfold(BinarySet<aterm.ATermAppl> set)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

log

public static final Logger log

Constructor Detail

BinaryTBox

public BinaryTBox()

Method Detail

add

public void add(BinarySet<aterm.ATermAppl> set,
       aterm.ATermAppl result,
       Set<aterm.ATermAppl> explanation)

unfold

public Unfolding unfold(BinarySet<aterm.ATermAppl> set)

unfold

public Iterator<Unfolding> unfold(aterm.ATermAppl concept)

contains

public boolean contains(aterm.ATermAppl concept)

print

public void print(Appendable out)
           throws IOException

Throws:

IOException