edu.mit.csail.sdg.squander.spec.SqFunc Class Reference
[Specification]

List of all members.

Classes
interface	Binary< R, A1, A2 >
class	Func
Static Public Member Functions
static Func	mkFunc (String ensures)
static Func	mkFunc (String requires, String ensures, String modifies)

---

Detailed Description

Definition at line 16 of file SqFunc.java.

---

Member Function Documentation

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

Definition at line 52 of file SqFunc.java.

static Func edu.mit.csail.sdg.squander.spec.SqFunc.mkFunc

(

String

ensures

)

[static]

Definition at line 48 of file SqFunc.java.

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/spec/SqFunc.java