$ A B C D E F G H I J L M N O P R S T V

L

Lambda - Class in at.jku.risc.stout.hoau.data.atom

A TermAtom which represents a lambda binding.

Lambda(BoundVariable) - Constructor for class at.jku.risc.stout.hoau.data.atom.Lambda

LAMBDA_NAME - Static variable in class at.jku.risc.stout.hoau.data.InputParser

default = '\' => Any word after the '\' will become a bound variable.

LambdaHedge - Class in at.jku.risc.stout.hoau.data

A LambdaHedge is a list of TermNodes.

LambdaHedge() - Constructor for class at.jku.risc.stout.hoau.data.LambdaHedge

$ A B C D E F G H I J L M N O P R S T V