| 438 | |
| 439 | template<class View, bool p, bool f> |
| 440 | ExecStatus |
| 441 | Action::Recorder<View,p,f>::advise(Space& home, Advisor& _a, const Delta&) { |
| 442 | Idx& a = static_cast<Idx&>(_a); |
| 443 | if (p) { |
| 444 | a.propagate(); |
| 445 | return ES_NOFIX; |
| 446 | } else { |
| 447 | return x[a.idx()].assigned() ? home.ES_FIX_DISPOSE(c,a) : ES_FIX; |
| 448 | } |
| 449 | } |
| 450 | |
| 451 | template<class View, bool p, bool f> |
| 452 | void |
nothing calls this directly
no test coverage detected