test1.assembly.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% INPUT
	%-----------------------------------
	% sizo(..).

	sizo(Sizo):-
	bind_scope(_, attachedSizo(Sizo), strong).

	dict_sizo(Sizo, Id):-
	Id= #sum{ 1, SizoLess : sizo(SizoLess), SizoLess < Sizo};
	sizo(Sizo).

	% connect to latex
	%-----------------------------------
	latex_registered_subjects(sizo, Sizo):- sizo(Sizo).

	latex_scope_demand(ScopeDemandSizo, sizo):-
	bind(Target, demand(sizo));
	Target = s(_, _, ScopeDemandSizo).

	bind_scope(Scope, Sizo, strong):-
	bind_scope(Scope, attachedSizo(Sizo), strong).

	% register late query
	%-----------------------------------
	late(Target, SymbolSizo, (SizoAny), sizo_current(SizoAny)):-
	bind(Target, demand(sizo));
	Target=s(_, _, TargetS);
	scope_fn(TargetS, Fn);
	cfa_parent(FnBody, function(Fn));
	latex_symbol(Fn, sizo, SymbolSizo);
	sizo(SizoAny).


	% IMPLEMENTATION
	%=========================================================== .