Searched defs:factsTable (Results 1 – 1 of 1) sorted by relevance
157 type factsTable struct { struct163 unsat bool // true if facts contains a contradiction164 unsatDepth int // number of unsat checkpoints166 facts map[pair]relation // current known set of relation167 stack []fact // previous sets of relations172 orderS *poset173 orderU *poset176 limits map[ID]limit177 limitStack []limitFact // previous entries182 lens map[ID]*Value[all …]