Method failed

gecode/kernel/branch/action.hpp:232–235

  }
  template<class View, bool p, bool f>
  forceinline bool
  Action::Recorder<View,p,f>::Idx::failed(void) const {
    return (_info & 2U) != 0;
  }
  template<class View, bool p, bool f>
  forceinline void
  Action::Recorder<View,p,f>::Idx::clear(void) {