WisdomRecord

struct WisdomRecord

Use by process_wisdom_file. Represents a record read from a wisdom file. Use methods such as problem_size() and device_name() to retrieve fields of this record.