org.mindswap.pellet.tableau.cache
Class CachedNodeFactory

java.lang.Object
  extended by org.mindswap.pellet.tableau.cache.CachedNodeFactory

public class CachedNodeFactory
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Constructor Summary
CachedNodeFactory()
           
 
Method Summary
static CachedNode createBottomNode()
           
static CachedNode createNode(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(aterm.ATermAppl name,
                                    Individual node)


Copyright © 2004 Evren Sirin. All Rights Reserved.