C++ Reference: util

This documentation is automatically generated.

Function Type Arguments Comments
MoveOneUnprocessedLiteralLast

Return type: int

Arguments: const std::set<LiteralIndex>& processed, int relevant_prefix_size, std::vector<Literal>* literals

RandomizeDecisionHeuristic

Return type: void

Arguments: URBG* random, SatParameters* parameters

RandomizeDecisionHeuristic

Return type: inline void

Arguments: URBG* random, SatParameters* parameters

Send feedback about...