Method archive

gecode/flatzinc/flatzinc.cpp:149–152

Archive into \a e

      }
      /// Archive into \a e
      virtual void archive(Archive& e) const {
        Gecode::Choice::archive(e);
        e.put(fail);
      }
    };

    TieBreak<IntVarBranch> int_varsel;