28)
29
30▶func (b branch) String() string {
31 switch b {
32 case unknown:
· · ·
74}
75
76▶func (r relation) String() string {
77 if r < relation(len(relationStrings)) {
78 return relationStrings[r]
· · ·
81}
82
83▶// domain represents the domain of a variable pair in which a set
84// of relations is known. For example, relations learned for unsigned
85// pairs cannot be transferred to signed pairs because the same bit
· · ·
86// representation can mean something else.
87▶type domain uint
88
89const (
· · ·
90▶ signed domain = 1 << iota
91 unsigned
92 pointer
+ 166 more matches in this file