Generic domain change information to be supplied to advisors. More...
#include <core.hpp>
Generic domain change information to be supplied to advisors.
Definition at line 275 of file core.hpp.