/tutorial/backtracking/tiny_prolog/prolog_integer.e

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

  1. class PROLOG_INTEGER
  2. inherit PROLOG_TERM
  3. feature
  4. type: INTEGER is type_integer
  5. value: INTEGER
  6. end