org.mindswap.pellet.tbox.impl

Class UnaryTBox

java.lang.Object

org.mindswap.pellet.tbox.impl.UnaryTBox

public class UnaryTBox
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
UnaryTBox()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(aterm.ATermAppl sub, aterm.ATermAppl sup, Set<aterm.ATermAppl> explanation)
void	print(Appendable out)
boolean	remove(aterm.ATermAppl axiom)
Iterator<Unfolding>	unfold(aterm.ATermAppl concept)

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

UnaryTBox

public UnaryTBox()

Method Detail

add

public void add(aterm.ATermAppl sub,
       aterm.ATermAppl sup,
       Set<aterm.ATermAppl> explanation)

remove

public boolean remove(aterm.ATermAppl axiom)

unfold

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

print

public void print(Appendable out)
           throws IOException

Throws:

IOException