Using attribute names (sensor.door, etc) rather than a config file.

TODO Still need to implement the optional fourth option.

	modified:   src/binary_state_solver.cpp