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;
}
