apunktbau/co4 — pull request #66 by jwaldmann (2014-04-10 14:24:41+00:00)
Title: refactor TerminationOrder, prepare for different order types

important refactoring, please merge. The aim is to introduce more options for termination orders, e.g., linear interpretations. I will do this quickly, you can then clean up ...