|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.translateTerm
|
Namefree lambda-term. TermFactory
|
Factory of Terms. |
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.generateAbstraction
|
Abstraction Term. TermFactory
|
Factory of Terms. |
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.modelAbstraction
|
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.reductionApplication
|
Application Term. Term
|
Namefree lambda-term. |
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.serializeApplication
|
Application Term. Term
|
Namefree lambda-term. TermFactory
|
Factory of Terms. |
Classes in org.xmloperator.lambda.tree.model used by org.xmloperator.lambda.tree.utilAbstraction
|
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 |