#17 Merged at 2043596
Repository
Branch
issue416
Repository
Branch
default
Author
  1. Florian Pommerening
Reviewers
Description
  • start branch issue416

  • Use local IntPacker instead of global variable

  • Extract helper method

  • Avoid use of g_* variables in StateRegistry (still dependes on them through AxiomEvaluator)

  • Get rid of g_state_registry and g_initial_state

Comments (0)