|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.translate| Term
|
Namefree lambda-term. TermFactory
|
Factory of Terms. |
|
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.generate| Abstraction
|
Abstraction Term. TermFactory
|
Factory of Terms. |
|
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.model| Abstraction
|
Abstraction Term. Application
|
Application Term. EndOfScope
|
Term with end-of-scope role. Leaf
|
Leaf term in a namefree lambda-term. Term
|
Namefree lambda-term. TermFactory
|
Factory of Terms. TermStack
|
Term stack. TermWithBody
|
Term with body. |
|
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.reduction| Application
|
Application Term. Term
|
Namefree lambda-term. |
|
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.serialize| Application
|
Application Term. Term
|
Namefree lambda-term. TermFactory
|
Factory of Terms. |
|
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.util| Abstraction
|
Abstraction Term. Application
|
Application Term. EndOfScope
|
Term with end-of-scope role. Term
|
Namefree lambda-term. TermFactory
|
Factory of Terms. |
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||