anchor.diff:  ;; Parameters
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   
  -(defparameter *label-pattern* "^!\\{0,1\\}[a-z][a-z0-9]*$")
  +(defparameter *label-pattern*
  +  "!\\{0,1\\}[a-z][a-z0-9]*")
   
  -(defparameter *process-pattern* "^[A-Z][a-zA-Z0-9]*$")
  +(defparameter *process-pattern*
  +  "[A-Z][a-zA-Z0-9]*")
   
  +(defparameter *transition-pattern*
  +  "\\(.\\{1,\\}\\) -\\(.\\{1,\\}\\)-> \\(.\\{1,\\}\\)")
  +
  +
  +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  +;; Parameters
  +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  +
  +(defmacro full-pattern-of (pattern)
  +  `(string-concat "^" ,pattern "$"))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;; Public functions
  
positive.code: 	((parse-prefixing text))
  	((parse-relabelling text))
  	((parse-restriction text))
  	(t nil)))
  
  
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  
negative.code: 
  
  (defpackage #:ritucci-msc-ccs-parser
    (:use #:common-lisp #:ext #:regexp)
    (:export #:parse))
  
  
  