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 \NODE{x} for the variable x that I encodes. Actually, not quite, as we also augment \NODE{x} with an indication of the name x of the variable (on feature var).

<Dominance: Solver class, info method>=
meth info($)
   Int2var = {NewDictionary}
   {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}

Denys Duchier
Version 1.2.0 (20010221)