diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-06 22:58:29 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-06 22:58:29 +1000 |
| commit | 42e729d20000eb141b2907ad83630af34f4afea3 (patch) | |
| tree | e231556126d538d6b61fe099c6245176aeb3df15 /impl/EquationSystem.tokens | |
| parent | 77d26a8f2832791587b19351ee1fde207fdda608 (diff) | |
New variation on the equation system solver.
Much simpler to understand. Basically have a variable assignment which
is dynamic and updates with the strategy changes. Similarly have
strategy changes easily invalidate the variable assignment.
This makes them strongly inter-dependent, but simplifies the
implementation considerably. Proving it should be easier like this, too.
Diffstat (limited to 'impl/EquationSystem.tokens')
| -rw-r--r-- | impl/EquationSystem.tokens | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/impl/EquationSystem.tokens b/impl/EquationSystem.tokens new file mode 100644 index 0000000..c706036 --- /dev/null +++ b/impl/EquationSystem.tokens @@ -0,0 +1,33 @@ +T__19=19 +T__20=20 +T__21=21 +T__22=22 +COMMA=4 +DIGIT=5 +GREATER_EQUAL=6 +GUARD=7 +LETTER=8 +MAXIMUM=9 +MINIMUM=10 +MULT=11 +NEWLINE=12 +NUMBER=13 +PLUS=14 +QUESTION_MARK=15 +SUB=16 +VARIABLE=17 +WHITESPACE=18 +'('=19 +')'=20 +'*'=11 +'+'=14 +','=21 +'-'=16 +';'=4 +'='=22 +'>='=6 +'?'=15 +'\n'=12 +'guard'=7 +'max'=9 +'min'=10 |