Namespaces | |
namespace | internal |
Functions | |
template<typename P > | |
void | change_target (Pseudo_Site< P > &p, const typename P::target_t &new_target) |
template<typename O , typename D > | |
void | change_target (O &o, const D &d) |
template<typename O , typename T > | |
void | change_target (Object< O > &, const T &) |
void mln::if_possible::change_target | ( | Pseudo_Site< P > & | p, | |
const typename P::target_t & | new_target | |||
) |
Referenced by change_target().
void mln::if_possible::change_target | ( | O & | o, | |
const D & | d | |||
) |
References change_target(), and mln::exact().
void mln::if_possible::change_target | ( | Object< O > & | , | |
const T & | ||||
) |