case classForbiddenEdge(token1: Int, token2: Int) extends TransitionConstraint with Product with Serializable
A ForbiddenEdge constraint designates a transition as illegal if it would directly create
an arc (in either direction) between the tokens at the given indices.
Note that argument order does not matter for the constructor.
A ForbiddenEdge constraint designates a transition as illegal if it would directly create an arc (in either direction) between the tokens at the given indices.
Note that argument order does not matter for the constructor.
index of the first token
index of the second token