virtualization.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% INPUT:
	% virtDomain() - different virtualization domains

	virtDictDomains(Dom, Id):- Id = #sum{1, DomLess : virtDomain(DomLess), DomLess < Dom};
	virtDomain(Dom).