edu.mit.csail.sdg.squander.spec.SqFunc Member List

This is the complete list of members for edu.mit.csail.sdg.squander.spec.SqFunc, including all inherited members.

mkFunc(String ensures)	edu.mit.csail.sdg.squander.spec.SqFunc	[static]
mkFunc(String requires, String ensures, String modifies)	edu.mit.csail.sdg.squander.spec.SqFunc	[static]