Function hasType

gecode/minimodel/float-arith.cpp:317–321

Check if \a e is of type \a t

  };
  /// Check if \a e is of type \a t
  bool hasType(const LinFloatExpr& e, ArithNonLinFloatExpr::ArithNonLinFloatExprType t) {
    return e.nlfe() &&
      dynamic_cast<ArithNonLinFloatExpr*>(e.nlfe()) != nullptr &&
      dynamic_cast<ArithNonLinFloatExpr*>(e.nlfe())->t == t;
  }

}}