note description: "Summary description for {VALUE2_SINGLETON}." author: "" date: "$Date: 2010-12-13 16:07:07 -0500 (Mon, 13 Dec 2010) $" revision: "$Revision$" class interface VALUE_SINGLETON create default_create feature epsilon: VALUE set_epsilon (v: STRING_8) end -- class VALUE_SINGLETON
Generated by ISE EiffelStudio