Description
atom role_student
atom role_tutor
atom object_questions
atom object_solutions
atom action_read
atom action_write
atom deadline_passed
defn ROLE =
True # what are the valid states of the roles?
defn OBJECT =
True # what are the valid states of the objects?
defn ACTION =
True # what are the valid states of the actions?
defn REQUEST =
True # fill this in: what does it mean to be a valid request
defn PERMIT =
True # fill this in: when should a request be permitted?
defn DENY =
True # fill this in: when should a request be denied?
defn MAIN =
True # fill this in: we must have a valid request that is permitted and not denied