A C D E F G H I L M N O P R S T U V W

U

underlineRedex(PrintWriter, Term, Application) - Method in interface org.xmloperator.lambda.tree.serialize.Serializer
Writes a string value that underline a redex.
underlineRedex(PrintWriter, Term, Application) - Method in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
 
underlineRedex(PrintWriter, Term, Application) - Method in class org.xmloperator.lambda.tree.serialize.UsualSerializer
 
underlineTerm(PrintWriter, Term, Term) - Method in interface org.xmloperator.lambda.tree.serialize.Serializer
Writes a string value that underline a sub-Term.
underlineTerm(PrintWriter, Term, Term) - Method in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
 
underlineTerm(PrintWriter, Term, Term) - Method in class org.xmloperator.lambda.tree.serialize.UsualSerializer
 
UsualSerializer - class org.xmloperator.lambda.tree.serialize.UsualSerializer.
Usual Expression serializer, convenient for a human reader.
UsualSerializer(boolean) - Constructor for class org.xmloperator.lambda.tree.serialize.UsualSerializer
 

A C D E F G H I L M N O P R S T U V W