PageRenderTime 18ms CodeModel.GetById 13ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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
1class PROLOG_FLOAT
2inherit PROLOG_TERM
3feature
4	type: INTEGER is type_float
5	value: REAL
6end