public double weightDelta() {
    { Proposition self = this;

      { double answer = ((FloatWrapper)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_WEIGHT_DELTA, Stella.NULL_FLOAT_WRAPPER))).wrapperValue;

        if (answer == Stella.NULL_FLOAT) {
          return (0.0);
        }
        else {
          return (answer);
        }
      }
    }
  }