Package openllet.core.tableau.cache

Class CachedNodeFactory

java.lang.Object

openllet.core.tableau.cache.CachedNodeFactory

public class CachedNodeFactory
extends java.lang.Object

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor	Description
CachedNodeFactory()

Method Summary

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

Methods inherited from class java.lang.Object

equals, 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(openllet.aterm.ATermAppl name,
                                    Individual node)