jtp.time.tlgraph
Class Node

java.lang.Object
  |
  +--jtp.time.tlgraph.Node

public class Node

extends Object

Nodes are manged by a TLGraph.

Constructor Summary

Node()

Method Summary

void	addEqualityMap(TimePoint tp, Map equalRS)
void	addEqualReasoningStep(TimePoint tp, ReasoningStep rs)
void	addTimePoint(TimePoint tp)

Methods inherited from class java.lang.Object

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

Constructor Detail

Node

public Node()

Method Detail

addTimePoint

public void addTimePoint(TimePoint tp)

addEqualReasoningStep

public void addEqualReasoningStep(TimePoint tp,
                                  ReasoningStep rs)

addEqualityMap

public void addEqualityMap(TimePoint tp,
                           Map equalRS)