double_val

double ring_elem::double_val

private

Definition at line 93 of file ringelem.hpp.

Referenced by get_double(), and ring_elem().