@@ -481,9 +481,18 @@ class StringDataTuple(NamedTuple):
481481@dataclass
482482class TempScoreManager :
483483 objective : str
484+ prefix : str
484485
485- counter : int = field (default = 0 , init = False )
486- format : Callable [[int ], str ] = field (default = lambda n : f"$s{ n } " ) # type: ignore
486+ counter : int
487+ format : Callable [[int ], str ]
488+
489+ def __init__ (
490+ self , objective : str , prefix : str , format : Callable [[int ], str ] | None = None
491+ ):
492+ self .objective = objective
493+ self .prefix = prefix
494+ self .format = format if format is not None else lambda n : f"{ self .prefix } { n } "
495+ self .counter = 0
487496
488497 def __call__ (self ) -> ScoreTuple :
489498 name = self .format (self .counter )
@@ -540,11 +549,12 @@ def override(self, format: Callable[[int], str] | None = None, reset: bool = Fal
540549@dataclass
541550class ConstScoreManager :
542551 objective : str
552+ prefix : str
543553
544554 constants : set [int ] = field (default_factory = set , init = False )
545555
546556 def format (self , value : int ) -> str :
547- return f"$ { value } "
557+ return f"{ self . prefix } { value } "
548558
549559 def create (self , value : int ) -> ScoreTuple :
550560 self .constants .add (value )
@@ -1466,7 +1476,9 @@ def rename_temp_scores(
14661476 ignored_sources .add (source )
14671477
14681478 with (
1469- opt .temp_score .override (format = lambda n : f"$i{ n } " , reset = True ),
1479+ opt .temp_score .override (
1480+ format = lambda n : f"{ opt .temp_score .prefix } i{ n } " , reset = True
1481+ ),
14701482 opt .temp_data .override (format = lambda n : f"i{ n } " , reset = True ),
14711483 ):
14721484 replace_map : dict [SourceTuple , IrSource ] = {}
0 commit comments