Method post

test/afc.cpp:58–60

Post arbitrary propagator

      }
      /// Post arbitrary propagator
      void post(void) {
        Gecode::rel(*this, x, Gecode::IRT_LE, y);
      }
      /// Copy during cloning
      virtual Space* copy(void) {
        return new TestSpace(*this);