---

LinkNode.java

package gov.nasa.arc.ase.ltl;

// Written by Dimitra Giannakopoulou, 19 Jan 2001
import java.util.*;
import gov.nasa.arc.ase.util.graph.*;

class LinkNode
{
  private Node node;
  private LinkNode next;

  public LinkNode (Node nd, LinkNode nxt)
  {
    node = nd;
    next = nxt;
  }  
  public LinkNode getNext ()
  {
    return next;
  }  
  public Node getNode ()
  {
    return node;
  }  
  public void LinkWith (LinkNode lk)
  {
    next = lk;
  }  
}

---