heros.solver

Interface LinkedNode<D>

Deprecated.

Use JoinHandlingNode instead.

@Deprecated
public interface LinkedNode<D>

A data-flow fact that can be linked with other equal facts. Equality and hash-code operations must not take the linking data structures into account!

Method Summary

Modifier and Type	Method and Description
void	addNeighbor(D originalAbstraction) Deprecated. Links this node to a neighbor node, i.e., to an abstraction that would have been merged with this one of paths were not being tracked.
void	setCallingContext(D callingContext) Deprecated.

Method Detail

addNeighbor

void addNeighbor(D originalAbstraction)

Deprecated.

Links this node to a neighbor node, i.e., to an abstraction that would have been merged with this one of paths were not being tracked.

setCallingContext

void setCallingContext(D callingContext)

Deprecated.