#include <ROL_Types.hpp>
Definition at line 1151 of file ROL_Types.hpp.
Definition at line 1153 of file ROL_Types.hpp.