Uses of Interface
org.xmloperator.lambda.tree.model.TermWithBody

Packages that use TermWithBody
org.xmloperator.lambda.tree.model   
 

Uses of TermWithBody in org.xmloperator.lambda.tree.model
 

Subinterfaces of TermWithBody in org.xmloperator.lambda.tree.model
 interface Abstraction
          Abstraction Term.
 interface Application
          Application Term.
 interface EndOfScope
          Term with end-of-scope role.
 

Methods in org.xmloperator.lambda.tree.model that return TermWithBody
 TermWithBody Term.getParent()
          A Term may have a parent Term.