Skip to content

Commit

Permalink
Fix formatting for TM operations
Browse files Browse the repository at this point in the history
  • Loading branch information
LockedThread committed Jul 14, 2024
1 parent a9cf5db commit 8ba56d5
Showing 1 changed file with 2 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -145,10 +145,8 @@ public boolean equals( Object obj ) {

@Override
public String toString() {
return String.format("%c%c%c%s", readSymbol, CharacterConstants.ARROW_RIGHT, writeSymbol,
type == TMMovementType.MOVE_RIGHT ?
( DEBUG ? 'R' : CharacterConstants.ARROW_RIGHT ) :
( DEBUG ? 'L' : CharacterConstants.ARROW_LEFT ) );
return String.format("%c%c%c,%s", readSymbol, CharacterConstants.ARROW_RIGHT, writeSymbol,
type == TMMovementType.MOVE_RIGHT ? 'R' : 'L' );
}

public String generateCode( TM pda, String modelName ) {
Expand Down

0 comments on commit 8ba56d5

Please sign in to comment.