@interface DEVariableNumber : DEVariable - (id)init; - (double)getValue; - (id)initWithName:(id)a0 value:(double)a1; - (void)setValue:(double)a0; - (id)initWithSharedPtr:(void *)a0; @end
@interface DEVariableNumber : DEVariable - (id)init; - (double)getValue; - (id)initWithName:(id)a0 value:(double)a1; - (void)setValue:(double)a0; - (id)initWithSharedPtr:(void *)a0; @end