1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
package hm
type solver struct {
sub Subs
err error
}
func newSolver() *solver {
return new(solver)
}
func (s *solver) solve(cs Constraints) {
logf("solving constraints: %d", len(cs))
enterLoggingContext()
defer leaveLoggingContext()
logf("starting sub %v", s.sub)
if s.err != nil {
return
}
switch len(cs) {
case 0:
return
default:
var sub Subs
c := cs[0]
sub, s.err = Unify(c.a, c.b)
defer ReturnSubs(s.sub)
s.sub = compose(sub, s.sub)
cs = cs[1:].Apply(s.sub).(Constraints)
s.solve(cs)
}
logf("Ending Sub %v", s.sub)
return
}
|
