/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2005
 *
 *  Last modified:
 *     $Date: 2006-08-04 16:05:26 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
 *     $Revision: 3513 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

namespace Gecode {

  namespace MiniModel {

    /*
     * Operations for Boolean relations
     *
     */
    forceinline
    BoolRel::BoolRel(const BoolExpr& e0, bool t0)
      : e(e0), t(t0) {}

    forceinline void
    BoolRel::post(Space* home) const {
      e.post(home,t);
    }

  }

  /*
   * Construction of linear relations
   *
   */
  inline MiniModel::BoolRel
  tt(const MiniModel::BoolExpr& e) {
    return MiniModel::BoolRel(e,true);
  }
  inline MiniModel::BoolRel
  ff(const MiniModel::BoolExpr& e) {
    return MiniModel::BoolRel(e,false);
  }

  /*
   * Posting
   *
   */
  inline void
  post(Space* home, const MiniModel::BoolRel& r, IntConLevel) {
    if (home->failed()) return;
    r.post(home);
  }

}

// STATISTICS: minimodel-any