/tutorial/backtracking/tiny_prolog/prolog_float.e
Specman e | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 1b5ed695303642959c992d2e729e0916 MD5 | raw file
1class PROLOG_FLOAT 2inherit PROLOG_TERM 3feature 4 type: INTEGER is type_float 5 value: REAL 6end