Refresh the cached conflict transitions when performing backward DFS due to revisitin...
-rw-r--r-- 953 .gitignore
-rw-r--r-- 345 .travis.yml
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 1241 README.md
drwxr-xr-x - bin
-rw-r--r-- 6865 build.gradle
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - gradle
-rwxr-xr-x 5916 gradlew
-rw-r--r-- 2941 gradlew.bat
-rw-r--r-- 15333 jpf.properties
drwxr-xr-x - lib
-rw-r--r-- 1942 main.jpf
-rw-r--r-- 1942 main_alarms.jpf
-rw-r--r-- 1942 main_cameras.jpf
-rw-r--r-- 1942 main_dimmers.jpf
-rw-r--r-- 1942 main_lights.jpf
-rw-r--r-- 1942 main_location.jpf
-rw-r--r-- 1942 main_locks.jpf
-rw-r--r-- 1942 main_musicplayers.jpf
-rw-r--r-- 1942 main_relayswitches.jpf
-rw-r--r-- 1929 main_speeches.jpf
-rw-r--r-- 1942 main_speechsynthesizers.jpf
-rw-r--r-- 1942 main_switches.jpf
-rw-r--r-- 1942 main_thermostats.jpf
-rw-r--r-- 1942 main_valves.jpf
-rw-r--r-- 0 moreStatistics
-rwxr-xr-x 822 run.sh
-rw-r--r-- 30 settings.gradle
drwxr-xr-x - src