Lines Matching defs: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
115 ft.facts = make(map[pair]relation)
124 func (ft *factsTable) get(v, w *Value, d domain) relation {
207 func (ft *factsTable) update(parent *Block, v, w *Value, d domain, r relation) {
331 // restore restores known relation to the state just
373 reverseBits = [...]relation{0, 4, 2, 6, 1, 5, 3, 7}
383 r relation
582 func updateRestrictions(parent *Block, ft *factsTable, t domain, v, w *Value, r relation, branch branch) {
