/tutorial/backtracking/tiny_prolog/prolog_var.e
http://github.com/tybor/Liberty · Specman e · 21 lines · 21 code · 0 blank · 0 comment · 2 complexity · d8c6bf6d6c70c470e0cf31165a812053 MD5 · raw file
- class PROLOG_VAR
- inherit PROLOG_TERM
- feature
- type: INTEGER is
- do
- if value = Void then
- Result = type_var
- else
- Result = value.type
- end
- end
- deref: PROLOG_TERM is
- do
- if value = Void then
- Result := Current
- else
- Result := value
- end
- end
- value: PROLOG_TERM
- end