PageRenderTime 6ms CodeModel.GetById 2ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/backtracking/tiny_prolog/prolog_compound.e

http://github.com/tybor/Liberty
Specman e | 8 lines | 8 code | 0 blank | 0 comment | 0 complexity | 8a703f54f6fdc439fcfb4ec6887b3e67 MD5 | raw file
1class PROLOG_COMPOUND
2inherit PROLOG_TERM redefine arity end
3feature
4	type: INTEGER is type_compound
5	arity is do Result := args.count end
6	atom: PROLOG_ATOM
7	args: FAST_ARRAY[PROLOG_TERM]
8end