edu.mit.csail.sdg.squander.examples.list.LinkedList_ind Class Reference
[Examples]

Collaboration diagram for edu.mit.csail.sdg.squander.examples.list.LinkedList_ind:

[legend]

List of all members.

Classes
class	Node
Public Member Functions
void	addNode (Node n)
Node[]	nodes ()
Node	header ()
String	toString ()
Static Public Member Functions
static void	main (String[] args)
Private Attributes
Node	header

---

Detailed Description

Linked list implementation with inductive definitions.

Author:

Aleksandar Milicevic

Definition at line 24 of file LinkedList_ind.java.

---

Member Function Documentation

void edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.addNode

(

Node

n

)

Definition at line 58 of file LinkedList_ind.java.

Referenced by edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.main().

Node edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.header

(

)

Definition at line 65 of file LinkedList_ind.java.

static void edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.main

(

String[]

args

)

[static]

Definition at line 72 of file LinkedList_ind.java.

References edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.addNode(), and edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.header.

Node [] edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.nodes

(

)

Definition at line 63 of file LinkedList_ind.java.

String edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.toString

(

)

Definition at line 68 of file LinkedList_ind.java.

---

Member Data Documentation

Node edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.header [private]

Definition at line 53 of file LinkedList_ind.java.

Referenced by edu.mit.csail.sdg.squander.examples.list.LinkedList_ind.main().

---

The documentation for this class was generated from the following file:

• examples/edu/mit/csail/sdg/squander/examples/list/LinkedList_ind.java