In particular, GenericJoinSuccessor::parse_precond_into_join_program is currently executed for every state, but does a fair amount of work that depends only on static atoms; this should be precompiled.
Let's wait until PR #3 is merged though before tackling this.
In particular,
GenericJoinSuccessor::parse_precond_into_join_program
is currently executed for every state, but does a fair amount of work that depends only on static atoms; this should be precompiled.Let's wait until PR #3 is merged though before tackling this.