trans.fun of link{rel_states} instead.rel_transition.RdAdd a state transition from one state to one or several states. For more complex games, it may be preferable to use the arguments trans.fun of link{rel_states} instead.
rel_transition(g, xs, xd, ..., prob = 1)
| g | a relational contracting game created with rel_game |
|---|---|
| xs | Name(s) of source states |
| xd | Name(s) of destination states |
| ... | named action and their values |
| prob | transition probability |
Returns the updated game