Function hasType

gecode/minimodel/int-arith.cpp:289–293

Check if \a e is of type \a t

  };
  /// Check if \a e is of type \a t
  bool hasType(const LinIntExpr& e, ArithNonLinIntExpr::ArithNonLinIntExprType t) {
    return e.nle() &&
      dynamic_cast<ArithNonLinIntExpr*>(e.nle()) != nullptr &&
      dynamic_cast<ArithNonLinIntExpr*>(e.nle())->t == t;
  }

}}