Searched defs:_niceness (Results 1 – 2 of 2) sorted by relevance
| /dports/graphics/evolvotron/evolvotron/libevolvotron/ | ||
| H A D | mutatable_image_computer.h | 47 const int _niceness; variable |
| /dports/math/vampire/vampire-4.5.1/SAT/ | ||
| H A D | VariableSelector.hpp | 279 DArray<unsigned> _niceness; member in SAT::ActiveVariableSelector |