Suppose I have a

real vout_val;
  integer logic1, logic2;

     logic1 = V(vin1) > vtrans;
     logic2 = V(vin2) > vtrans;

     @ (cross(V(vin1) - vtrans, 1))  logic1 = 1;
     @ (cross(V(vin1) - vtrans, -1)) logic1 = 0;

     @ (cross(V(vin2) - vtrans, 1))  logic2 = 1;
     @ (cross(V(vin2) - vtrans, -1)) logic2 = 0;

     //
     // define the logic function.
     //
     vout_val = (logic1 && logic2) ? vlogic_high : vlogic_low;


if an event happens in vin1 ==> change in logic1?.. will 'vout_val' change along with event based change of logic1 ? or should I include some statement for that to happen?