A B C D E F G H I K L M N O P R S T V W Y Z

F

F - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1x2.x2
FIRST_IN_COUPLE - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1.x1\x2x3.x2
FIRST_IN_TRIPLE - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1.x1\x2x3x4.x2
FIRST_OF_THREE - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1x2x3.x1
freeVariables() - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
freeVariables() - Method in interface org.xmloperator.lambda2.term.model.Term
Returns the set of free variables of this Term.

A B C D E F G H I K L M N O P R S T V W Y Z