]> rtime.felk.cvut.cz Git - hubacji1/psp.git/commit
Rename `possible_inits` to `possible_goals`
authorJiri Vlasak <hubacji1@fel.cvut.cz>
Thu, 19 Sep 2019 12:59:23 +0000 (14:59 +0200)
committerJiri Vlasak <hubacji1@fel.cvut.cz>
Thu, 19 Sep 2019 12:59:23 +0000 (14:59 +0200)
commit1b994dae37d833de22c1c2d049915893fb292382
treee3b0e6abefde7f7d59959698fdbc3ed4fe086138
parentecbefb79c5bad5ddbdbd03cd2de379f463602665
Rename `possible_inits` to `possible_goals`
api/psp.h
src/psp.cc
ut/psp.t.cc