Package lrs

Interface Summary

IAlgo

Represents an abstract algorithm on an LRStruct.

Class Summary

ANode	Represents the abstract list state.
EmptyNode	Represents the empty state of a mutable list LRStruct.
LRStruct	Mutable linear recursive structure.
NENode	Represents the non-empty state of a LStruct.