Searched defs:facts_ (Results 1 – 4 of 4) sorted by last modified time
170 uint32 facts_; // [facts_, solver.trail.size()): new top-level facts variable
44 std::vector<Fact*> Fact::facts_; member in Fact