summaryrefslogtreecommitdiff
path: root/impl/main.cpp
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-10-15 17:11:14 +1100
committerCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-10-15 17:11:14 +1100
commit697c1c0cd3815eee72b3eedb874fe0e044a69432 (patch)
tree060ce9577a9651cbcb2f11c6444bc649efc4a468 /impl/main.cpp
parentbe1de4be954c80875ad4108e0a33e8e131b2f2c0 (diff)
Some bug fixes for the solver.
Still doesn't work in clang, though.
Diffstat (limited to 'impl/main.cpp')
-rw-r--r--impl/main.cpp8
1 files changed, 5 insertions, 3 deletions
diff --git a/impl/main.cpp b/impl/main.cpp
index 6fbbda9..e3e0ae3 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -50,7 +50,7 @@ Expression<T>& treeToExpression(pANTLR3_BASE_TREE node, EquationSystem<T>& syste
Operator<T>* op = NULL;
if (name == "min") {
op = new Minimum<T>();
- } else if (name == "+") {
+ } else if (name == "+" || name == "add") {
op = new Addition<T>();
} else if (name == "-") {
if (args.size() == 1) {
@@ -58,11 +58,13 @@ Expression<T>& treeToExpression(pANTLR3_BASE_TREE node, EquationSystem<T>& syste
} else {
op = new Subtraction<T>();
}
- } else if (name == "*") {
+ } else if (name == "sub") {
+ op = new Subtraction<T>();
+ } else if (name == "*" || name == "mult") {
op = new Multiplication<T>();
} else if (name == ";") {
op = new Comma<T>();
- } else if (name == "GUARD") {
+ } else if (name == "GUARD" || name == "guard") {
op = new Guard<T>();
} else {
std::cout << "throw exception" << *(char*)NULL;