Aggregate statespace

Description

1) Worker keep a map Digest -> Prolog Term
2) Master gets transitions, e.g.,

  • Worker explored state 1 with digest D1, Successors are S1 ... Sk

  • Master receives D1 [S1, ..., Sk]

Allows:

  • Rebuilding the actual state space

  • Rebuild paths on the state space

Environment

None
Won't Fix

Assignee

Philipp Koerner

Reporter

Jens Bendisposto

Priority

Minor