Lines Matching refs:relation
20 // relation represents the set of possible relations between
25 // relation not possible due to `v op w` being true (or false).
29 // r := relation(...)
40 type relation uint
43 lt relation = 1 << iota
68 // fact is a pair plus a relation for that pair.
71 r relation
94 facts map[pair]relation // current known set of relation
109 ft.facts = make(map[pair]relation)
118 func (ft *factsTable) get(v, w *Value, d domain) relation {
201 func (ft *factsTable) update(parent *Block, v, w *Value, d domain, r relation) {
325 // restore restores known relation to the state just
367 reverseBits = [...]relation{0, 4, 2, 6, 1, 5, 3, 7}
377 r relation
551 func updateRestrictions(parent *Block, ft *factsTable, t domain, v, w *Value, r relation, branch branch) {
