PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/backtracking/tiny_prolog/prolog_term.e

http://github.com/tybor/Liberty
Specman e | 11 lines | 10 code | 1 blank | 0 comment | 0 complexity | 7d23e8550aaab29e61f4c9bf993a84fa MD5 | raw file
 1deferred class PROLOG_TERM
 2inherit PROLOG_COMMONS
 3feature
 4	type: INTEGER is 
 5		deferred 
 6		ensure 
 7			Result=type_atom or Result=type_integer or Result=type_float or Result=type_var or Result=type_coumpound
 8		end
 9	arity: INTEGER is do end
10end
11