test1.assembly.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% INPUT
	%===========================================================
	expl_siteUser(Res, Scope):-
	dictVarScope(Var, Scope);
	bind(Var, expl_user(Res)).

	expl_siteInit(Res, Scope):-
	dictVarScope(Var, Scope);
	bind(Var, expl_init(Res)).


	% OUTPUT
	%===========================================================
	dfa_callguard(Var, explInitRealImpl):-
	expl_init_assignments(Res, SiteInitAssigned);
	bind(Var, expl_init(Res));
	dictVarScope(Var, SiteInitAssigned).

	dfa_callguard(Var, explInitBogusImpl):-
	not expl_init_assignments(Res, SiteInit);
	bind(Var, expl_init(Res));
	dictVarScope(Var, SiteInit).


	% GENERAL
	%===========================================================
	dictVarScope(Var, Scope):- Var=s(_, _, Scope); v(Var).