org.mindswap.pellet.tableau.cache

Class CachedNodeFactory

java.lang.Object

org.mindswap.pellet.tableau.cache.CachedNodeFactory

public class CachedNodeFactory
extends Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
CachedNodeFactory()

Method Summary

Modifier and Type	Method and Description
static CachedNode	createBottomNode()
static CachedNode	createNode(aterm.ATermAppl name, Individual node)
static CachedNode	createSatisfiableNode()
static CachedNode	createTopNode()

Methods inherited from class java.lang.Object

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

Constructor Detail

CachedNodeFactory

public CachedNodeFactory()

Method Detail

createTopNode

public static CachedNode createTopNode()

createBottomNode

public static CachedNode createBottomNode()

createSatisfiableNode

public static CachedNode createSatisfiableNode()

createNode

public static CachedNode createNode(aterm.ATermAppl name,
                                    Individual node)