Adding direct-direct pair detection; adding missing app lists.
authorrtrimana <rtrimana@uci.edu>
Mon, 29 Jul 2019 21:56:06 +0000 (14:56 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 29 Jul 2019 21:56:06 +0000 (14:56 -0700)
commitc97f75cb3ddb7ae3196f38967adaa3439b2315c2
treee648d8ba25c2d026f50c6a81888ab58836c47731
parent86c861ff59c870277d034de77d6cef2a4c6f5aa4
Adding direct-direct pair detection; adding missing app lists.
26 files changed:
ModelCheck.py
appLists/device-interaction/acfanheaterSwitchesAppList [new file with mode: 0644]
appLists/device-interaction/alarmsAppList [new file with mode: 0644]
appLists/device-interaction/cameraSwitchesAppList [new file with mode: 0644]
appLists/device-interaction/camerasAppList [new file with mode: 0644]
appLists/device-interaction/hueLightsAppList [new file with mode: 0644]
appLists/device-interaction/lightSwitchesAppList [new file with mode: 0644]
appLists/device-interaction/locksAppList [new file with mode: 0644]
appLists/device-interaction/musicPlayersAppList [new file with mode: 0644]
appLists/device-interaction/nonHueLightsAppList [new file with mode: 0644]
appLists/device-interaction/relaySwitchesAppList [new file with mode: 0644]
appLists/device-interaction/speechesAppList [new file with mode: 0644]
appLists/device-interaction/switchesAppList [new file with mode: 0644]
appLists/device-interaction/thermostatsAppList [new file with mode: 0644]
appLists/device-interaction/valvesAppList [new file with mode: 0644]
appLists/device-interaction/ventfanSwitchesAppList [new file with mode: 0644]
appLists/global-state-variable-interaction/globalstatevariableAppList [new file with mode: 0644]
appLists/physical-interaction/illuminancesensorAppList [new file with mode: 0644]
appLists/physical-interaction/lightAppList [new file with mode: 0644]
appLists/physical-interaction/motionAppList [new file with mode: 0644]
appLists/physical-interaction/motionsensorAppList [new file with mode: 0644]
appLists/physical-interaction/soundAppList [new file with mode: 0644]
appLists/physical-interaction/soundsensorAppList [new file with mode: 0644]
appLists/physical-interaction/watersensorAppList [new file with mode: 0644]
appLists/physical-interaction/watervalveAppList [new file with mode: 0644]
run.sh