case TC_2OPT : return new TC2TLCOpt(infra);
case ACGJ_3_FV : return new ACGJ3FixedValue(infra);
case RLD2: return new RLD2TLC(infra);
case IATRACOS: return new IATRACOSTLC(infra);
}
throw new InfraException
("The TLCFactory can't make TLC's of type "+algoId);
}