1. Richard Lawrence
  2. logic-pack

Commits

Richard Lawrence  committed 0d38f10

core.ss:
* move parsing code to parser.ss

  • Participants
  • Parent commits 7b3083d
  • Branches master

Comments (0)

Files changed (1)

File core.ss

View file
  • Ignore whitespace
 (define (valid? a)
   (tautology? (corresponding-conditional a)))
 
-;;; parsers
-(define *unary-connectives* (list "~"))
-(define *binary-connectives* (list "&" "v" "->" "<->"))
-
-(define (try) (error "Not implemented"))
-(define (read-formula s)
-  (try
-   (read-atomic-formula s)
-   (read-negated-formula s)
-   (read-binary-formula s)
-   (error "Could not parse an LSL formula")))
-
-(define (read-atomic-formula s)
-  ; get a single, non-whitespace character.  if it's an uppercase
-  ; letter, convert it to a symbol and create an atomic
-  ; formula. otherwise, fail without consuming input
-(error "Not implemented"))
-
-(define (read-negated-formula s)
-  ; get a single, non-whitespace character.  if it's a tilde, read a
-  ; formula. otherwise, fail without consuming input
-(error "Not implemented"))
-
-(define (read-binary-formula s)
-  ; get a single, non-whitespace character.  if it's an open paren, read a formula, then read a connective, then read a formula, then read a close paren.
-(error "Not implemented"))
-
 ;;;; for tests
 (define A (make-atomic-form 'A))
 (define B (make-atomic-form 'B))