The ArcHybridForbiddenArcLabelInterpretation handles ForbiddenArcLabel constraints for the
arc hybrid system. In other words, it translates these constraints into a function that
returns true for any (state, transition) pair that violates the constraint.
The ArcHybridForbiddenArcLabelInterpretation handles ForbiddenArcLabel constraints for the arc hybrid system. In other words, it translates these constraints into a function that returns true for any (state, transition) pair that violates the constraint.
the forbidden arc label request to consider