org.mindswap.pellet.tbox.impl

Class PrimitiveTBox

java.lang.Object

org.mindswap.pellet.tbox.impl.PrimitiveTBox

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

Method Summary

Modifier and Type	Method and Description
boolean	add(aterm.ATermAppl concept, aterm.ATermAppl definition, Set<aterm.ATermAppl> explanation)
protected void	addDefinition(aterm.ATermAppl concept, aterm.ATermAppl definition, Set<aterm.ATermAppl> explanation)
boolean	contains(aterm.ATermAppl concept)
protected boolean	findTarget(aterm.ATermAppl term, aterm.ATermAppl target, Set<aterm.ATermAppl> seen)
Unfolding	getDefinition(aterm.ATermAppl concept)
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

PrimitiveTBox

public PrimitiveTBox()

Method Detail

contains

public boolean contains(aterm.ATermAppl concept)

getDefinition

public Unfolding getDefinition(aterm.ATermAppl concept)

add

public boolean add(aterm.ATermAppl concept,
                   aterm.ATermAppl definition,
                   Set<aterm.ATermAppl> explanation)

addDefinition

protected void addDefinition(aterm.ATermAppl concept,
                             aterm.ATermAppl definition,
                             Set<aterm.ATermAppl> explanation)

findTarget

protected boolean findTarget(aterm.ATermAppl term,
                             aterm.ATermAppl target,
                             Set<aterm.ATermAppl> seen)

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