@@ -77,8 +77,12 @@ def wire_symbol(
7777 self , reg : Optional ['Register' ], idx : Tuple [int , ...] = tuple ()
7878 ) -> 'WireSymbol' :
7979 if reg is None :
80- return Text (f'x<{ self .less_than_val } ' )
81- return super ().wire_symbol (reg , idx )
80+ return Text ("" )
81+ if reg .name == 'x' :
82+ return TextBox ("x" )
83+ if reg .name == 'target' :
84+ return TextBox ("z^(x<a)" )
85+ raise ValueError (f'Unknown register name { reg .name } ' )
8286
8387 def registers (self ) -> Sequence [Union [int , Sequence [int ]]]:
8488 return [2 ] * self .bitsize , self .less_than_val , [2 ]
@@ -447,8 +451,14 @@ def wire_symbol(
447451 self , reg : Optional ['Register' ], idx : Tuple [int , ...] = tuple ()
448452 ) -> 'WireSymbol' :
449453 if reg is None :
450- return Text ('x <= y' )
451- return super ().wire_symbol (reg , idx )
454+ return Text ('' )
455+ if reg .name == "x" :
456+ return TextBox ('x' )
457+ if reg .name == "y" :
458+ return TextBox ('y' )
459+ if reg .name == "target" :
460+ return TextBox ('z^(x<=y)' )
461+ raise ValueError (f'Unknown register name { reg .name } ' )
452462
453463 def on_classical_vals (self , * , x : int , y : int , target : int ) -> Dict [str , 'ClassicalValT' ]:
454464 return {'x' : x , 'y' : y , 'target' : target ^ (x <= y )}
@@ -821,8 +831,14 @@ def wire_symbol(
821831 self , reg : Optional ['Register' ], idx : Tuple [int , ...] = tuple ()
822832 ) -> 'WireSymbol' :
823833 if reg is None :
824- return Text ('a > b' )
825- return super ().wire_symbol (reg , idx )
834+ return Text ('' )
835+ if reg .name == "a" :
836+ return TextBox ('a' )
837+ if reg .name == "b" :
838+ return TextBox ('b' )
839+ if reg .name == "target" :
840+ return TextBox ('t⨁(a>b)' )
841+ raise ValueError (f'Unknown register name { reg .name } ' )
826842
827843
828844@frozen
@@ -860,7 +876,7 @@ def _t_complexity_(self) -> TComplexity:
860876
861877 def wire_symbol (self , reg : Optional [Register ], idx : Tuple [int , ...] = tuple ()) -> WireSymbol :
862878 if reg is None :
863- return Text (f"x > { self . val } " )
879+ return Text (" " )
864880 if reg .name == 'x' :
865881 return TextBox ("In(x)" )
866882 elif reg .name == 'target' :
@@ -912,7 +928,7 @@ def _t_complexity_(self) -> 'TComplexity':
912928
913929 def wire_symbol (self , reg : Optional [Register ], idx : Tuple [int , ...] = tuple ()) -> WireSymbol :
914930 if reg is None :
915- return Text (f"x == { self . val } " )
931+ return Text (" " )
916932 if reg .name == 'x' :
917933 return TextBox ("In(x)" )
918934 elif reg .name == 'target' :
0 commit comments