fol.ForAllFunctionSimple Class Reference

Static Public Member Functions
static void	main (String[] args)

Detailed Description

Definition at line 28 of file ForAllFunctionSimple.java.

---

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

• Source/src/fol/ForAllFunctionSimple.java