diff options
author | Patrick Simianer <p@simianer.de> | 2010-08-17 15:33:02 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2010-08-17 15:33:02 +0200 |
commit | c272506529ea5fde9352a600417b2eaa6a230a6a (patch) | |
tree | ee8c1fe112151538803aaf639345834713709c98 /javascripts/globals.js | |
parent | cba313f165096685b025eac23d0f4f6e372d8556 (diff) |
release
Diffstat (limited to 'javascripts/globals.js')
-rw-r--r-- | javascripts/globals.js | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/javascripts/globals.js b/javascripts/globals.js index e48018d..3a5a495 100644 --- a/javascripts/globals.js +++ b/javascripts/globals.js @@ -1,13 +1,16 @@ // globals -var EPSILON = '~'; -var NEXTSTATE = 0; -var EMPTYSYMBOL = '%'; -var ALPHABET = 'abcd'+EMPTYSYMBOL; -var ALPHABETS = ALPHABET+'()|*'; -var REDELIMITER = '$'; +var EPSILON = '~'; // internal use, symbol for 'non-symbol' +var NEXTSTATE = 0; // internal use, state indices, begin at 0 +var STOPSYMBOL = '%'; // internal use, stop symbol +var ALPHABET = 'abcd'+STOPSYMBOL; // used alphabet, need to include stop symbol +var SPECIALS = '()|*'; // symbol with special meaning in a regex +var ALPHABETS = ALPHABET+SPECIALS; // include special symbols +var REDELIMITER = '$'; // internal use, delimiter for regex -var ttable = new Object(); -var g; -var graphit = true; -var lock = false; +var ttable = new Object(); // transition table, internal use +var g; // graph object (used by Raphael) +var graphit = true; // draw a graph? value set by checkbox +var lock = false; // lock for graph animation +var alphabetEdit = false; // are we currently editing the alphabet? +var alphabetEditable = true; // is the alphabet still editable? |