Quotient getNextMoves assumes that location runtime instance
Closed this issue · 1 comments
Brandhoej commented
For rules 9 and 10 it is assumed that the locationin getNextMoves is as instanceof either InconsistentLocation and UniversalLocation this assumption does not hold for tests such as doubleQuotientTest2, doubleQuotient3 and other tests with double quotients. I believe we might need a single Location type or keep it consistent in such a way that we don't have to make a "double check" to figure out whether a location is inconsistent and such. I have opened another issue focusing on the Location class #72.