Package org.xmloperator.lambda2.net.model

Interface Summary
BinaryCell Binary cell.
Cell A cell has a principal port and zero or more auxiliary ports.
Decoder Cell used for decoding a LambdaNet that represents an abstraction.
Eraser Eraser.
IntStack Stack of integers.
LambdaNet A LambdaNet is an interaction-net that represents a lambda term which is linear relativety to each of its free variables.
LongStack Stack of long values.
PentaryMultiplexor Abstraction multiplexor or application demultiplexor.
Port A Port belongs to a Cell or is free.
Stack Stack of Object.
WireCell Wire Cell.
 

Exception Summary
TooMuchReductionStepException Exception raised when the reduction process of an interaction net doesn't terminate.