|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.xmloperator.lambda2.net.model | |
org.xmloperator.lambda2.net.impl | |
org.xmloperator.lambda2.net.model | |
org.xmloperator.lambda2.term.model |
Classes in org.xmloperator.lambda2.net.model used by org.xmloperator.lambda2.net.impl | |
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. |
|
TooMuchReductionStepException
Exception raised when the reduction process of an interaction net doesn't terminate. |
|
WireCell
Wire Cell. |
Classes in org.xmloperator.lambda2.net.model used by org.xmloperator.lambda2.net.model | |
Cell
A cell has a principal port and zero or more auxiliary ports. |
|
LambdaNet
A LambdaNet is an interaction-net that represents a lambda term which is linear relativety to each of its free variables. |
|
Port
A Port belongs to a Cell or is free. |
|
Stack
Stack of Object. |
|
TooMuchReductionStepException
Exception raised when the reduction process of an interaction net doesn't terminate. |
Classes in org.xmloperator.lambda2.net.model used by org.xmloperator.lambda2.term.model | |
TooMuchReductionStepException
Exception raised when the reduction process of an interaction net doesn't terminate. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |