/**
* Stores in the graph which properties in the query the user considers optional.
*
* @param user User ID
* @return Boolean[], specifies whether optional checkboxes are checked
*/
public Boolean[] getCheckedOptionals(String user) {
if (!userMap.containsKey(user)) return null;
LiberSession session = userMap.get(user);
synchronized (session) {
session.setLastUpdated();
return session.getQueryBuilder().getCheckedOptionals();
}
}
