/tutorial/backtracking/tiny_prolog/prolog_float.e

http://github.com/tybor/Liberty · Specman e · 6 lines · 6 code · 0 blank · 0 comment · 0 complexity · 1b5ed695303642959c992d2e729e0916 MD5 · raw file 

    

  1. class PROLOG_FLOAT
    2. 

  2. inherit PROLOG_TERM
    3. 

  3. feature
    4. 

  4. 	type: INTEGER is type_float
    5. 

  5. 	value: REAL
    6. 

  6. end
    7.