mohanr

----------------------------- MODULE bayermoore -----------------------------
EXTENDS Integers, Sequences,Naturals, TLC
CONSTANTS Character, text, pattern
ASSUME text \in Seq(Character)
ASSUME pattern \in Seq(Character)
Max(x,y) == IF x < y THEN y ELSE x
struct == [a |-> 97, b |-> 98, c |-> 99]
(*--algorithm bayermoore

variables

mohanr

\* BEGIN TRANSLATION (chksum(pcal) = "e913b13a" /\ chksum(tla) = "2d410eef")
CONSTANT defaultInitValue
VARIABLES i, m, l, n, j, k, p, skips, x, y, flag, pc

vars == << i, m, l, n, j, k, p, skips, x, y, flag, pc >>

Init == (* Global variables *)
        /\ i = defaultInitValue
        /\ m = defaultInitValue
        /\ l = defaultInitValue

mohanr

#lang typed/racket
(require racket/list)


(define (operator c )
  (match c
     ['+' Plus]
     ['-' Minus]
     ['/' Div]))