Searched refs:LoggingType (Results 1 – 3 of 3) sorted by relevance
170 enum LoggingType { enum
644 LoggingType logging_type;
1383 .. member:: LoggingType Solver::Options::logging_type