4.4.4 Solver class

We use an object of class Solver to turn a description into a CSP. There is no overwhelming reason to use an object: the author simply finds that an OO-idiom is in this case rather pleasant. In particular, it makes it easier to manipulate state (see e.g. @counter attribute later).

<Dominance: Solver class>=

class Solver 
   <Dominance: Solver class, attributes> 
   <Dominance: Solver class, init method> 
   <Dominance: Solver class, var2node method> 
   <Dominance: Solver class, lab method> 
   <Dominance: Solver class, dom method> 
   <Dominance: Solver class, labeled method> 
   <Dominance: Solver class, info method> 
end

• Attributes

• init method

• var2node method

• lab method

• dom method

• labeled method

• labeled method