Is it possible to have a relation that will look at two dimensions and
pick which one is the lowest value? here is my relation that model
checker says I have multipul assignments for.
BOTTOM_RADIUS <= RADIUS
RADIUS <= D22 / 2
RADIUS <= D21 / 2
What I trying to do is make sure that the RADIUS is not greater than two different dimensions.
pick which one is the lowest value? here is my relation that model
checker says I have multipul assignments for.
BOTTOM_RADIUS <= RADIUS
RADIUS <= D22 / 2
RADIUS <= D21 / 2
What I trying to do is make sure that the RADIUS is not greater than two different dimensions.