Uses of Package
org.xmloperator.lambda2.net.model

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.