How to specify either-or requirements

[Shushman]

We need the mdp to EITHER implement transition or generate_sr. What's the right way to do that?

[zsunberg]

You should be able to something like this:

@POMDP_require solve(solver::LocalApproximationValueIterationSolver, mdp::Union{MDP,POMDP}) begin
  ...
  if solver.is_mdp_generative
    @req generate_sr(...)
  else
    @req transition(...)
    @req reward(...)
  end
  ...
end

[zsunberg]

OR you could fix the "Use static analysis..." checkbox of JuliaPOMDP/POMDPs.jl#124 and it would all work automatically :)

[Shushman]

Thanks! I'll start with the first one for now and then do the second one maybe later ;)

Edit - First suggestion added in af0d50d, second for later.