public BaseReportRecord(BaseReportRecord record) { AutoSync = record.AutoSync ?? new AutoSyncOutRecord(); GPUVerify = record.GPUVerify ?? new GPUVerifyRecord(); GPURepair = record.GPURepair ?? new GPURepairRecord(); GPURepair_MaxSAT = record.GPURepair_MaxSAT ?? new GPURepairRecord(); GPURepair_Grid = record.GPURepair_Grid ?? new GPURepairRecord(); GPURepair_Inspection = record.GPURepair_Inspection ?? new GPURepairRecord(); GPURepair_Grid_Inspection = record.GPURepair_Grid_Inspection ?? new GPURepairRecord(); }
public ConfigurationComparisonRecord(BaseReportRecord record) : base(record) { }
public ToolComparisonRecord(BaseReportRecord record) : base(record) { }
public SolverComparisonRecord(BaseReportRecord record) : base(record) { }