dk.brics.tajs.solver

Class NodeAndContext<ContextType extends IContext<?>>

java.lang.Object

dk.brics.tajs.solver.NodeAndContext<ContextType>

public final class NodeAndContext<ContextType extends IContext<?>>
extends java.lang.Object

Pair of an abstract node and a context.

Constructor Summary

Constructors

Constructor and Description
NodeAndContext(AbstractNode n, ContextType c) Constructs a new pair.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) Checks whether this object and the given object are equal.
ContextType	getContext() Returns the context.
AbstractNode	getNode() Returns the node.
int	hashCode() Computes the hash code for this object.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NodeAndContext

public NodeAndContext(AbstractNode n,
                      ContextType c)

Constructs a new pair.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Checks whether this object and the given object are equal.

Overrides:

equals in class java.lang.Object

getContext

public ContextType getContext()

Returns the context.

getNode

public AbstractNode getNode()

Returns the node.

hashCode

public int hashCode()

Computes the hash code for this object.

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object