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

V

verifyClosure(Eraser) - Static method in class org.xmloperator.lambda.net.util.NetUtils
Verify the closure and the mark-homogeneity of a lambda-net.
verifyClosure(Term) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Verify that a Term is closed, i.e. there is no free variable in it.
verifyScopeExtrusion(Term) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Verify that all the EndOfScopes of a Term are extruded.
verifyWellFormedness(Term) - Static method in class org.xmloperator.lambda.tree.util.WellFormedness
Verify the well-formedness of a Term.
verifyXFree(Eraser) - Static method in class org.xmloperator.lambda.net.util.NetUtils
Verify that there is no reducable interaction other than beta and the root Eraser.

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