public OpId(NumericSystem NumSystem, OpKind OpKind, NumericKind NumKind, Genericity Generic, OpFusion Fusion, string OpTitle) { this.NumSystem = NumSystem; this.OpKind = OpKind; this.NumKind = NumKind; this.OperandType = PrimalKinds.kind <T>(); this.Generic = Generic; this.Fusion = Fusion; this.OpTitle = ifEmpty(OpTitle, OpId.DefineOpTitle(this)); this.OpUri = OpId.BuildOpUri(this); }
public MetricSummaryRecord(OpId op, long opcount, Duration time) { this.OpName = OpId.BuildOpUri(op); this.OpCount = opcount; this.WorkTime = time; }