PageRenderTime 14ms CodeModel.GetById 12ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 1ms

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