labeled method

The sole purpose of this method is to assemble a representation of a solution. A solution is represented by a tuple mapping integer I to for the variable that I encodes. Actually, not quite, as we also augment with an indication of the name of the variable (on feature var).

<Dominance: Solver class, info method>=

meth info($)
   Int2var = {NewDictionary}
in 
   {ForAll {Dictionary.entries @var2int}
    proc {$ V#I} Int2var.I := V end}
   {Record.mapInd {Dictionary.toRecord o @int2node}
    fun {$ I N}
       {AdjoinAt N var Int2var.I}
    end}
end