Method post

test/int/unary.cpp:84–86

Post constraint on \a x

    }
    /// Post constraint on \a x
    virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
      Gecode::unary(home, x, p, ipl);
    }
  };

  /// %Test for unary constraint with optional tasks