planner.graphPlan

Class LiteralNode

java.lang.Object

planner.graphPlan.GraphNode

planner.graphPlan.LiteralNode

public class LiteralNode
extends GraphNode

Author:

dtdavis

Constructor Summary

Constructors

Constructor and Description
LiteralNode(Literal literal) Creates a new instance of LiteralNode

Method Summary

Modifier and Type	Method and Description
static boolean	inconsistentSupportMutex(LiteralNode node1, LiteralNode node2) Determines whether two literal nodes are mutually exclusive due to inconsistent support
static boolean	isMutex(LiteralNode node1, LiteralNode node2) Determines whether two LiteralNodes are mutually exclusive
static boolean	isNegation(LiteralNode node1, LiteralNode node2) Determines whether two literal nodes are the negation of one another

Methods inherited from class planner.graphPlan.GraphNode

addBackPointer, addForwardPointer, connect, connect, connect, contains, containsBackPointer, containsForwardPointer, getBackPointer, getForwardPointer, isMutex, match, mutexIsSet, numBackPointers, numForwardPointers, setMutex, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

LiteralNode

public LiteralNode(Literal literal)

Creates a new instance of LiteralNode

Method Detail

isMutex

public static boolean isMutex(LiteralNode node1,
                              LiteralNode node2)

Determines whether two LiteralNodes are mutually exclusive

isNegation

public static boolean isNegation(LiteralNode node1,
                                 LiteralNode node2)

Determines whether two literal nodes are the negation of one another

inconsistentSupportMutex

public static boolean inconsistentSupportMutex(LiteralNode node1,
                                               LiteralNode node2)

Determines whether two literal nodes are mutually exclusive due to inconsistent support