X-Git-Url: http://drtracing.org/?a=blobdiff_plain;f=compiler2%2Fsubtypestuff.cc;h=bc18d923b287a18eba3be87a0346f19a6b7f8b02;hb=af7104877b9819f9e11f3ca6109eda961e971478;hp=02adf32ebf55ebb066d515fe3b57505ca3dddfd0;hpb=4567b25b7943d75814d0b37f9c60a7e43529d1f0;p=deliverable%2Ftitan.core.git diff --git a/compiler2/subtypestuff.cc b/compiler2/subtypestuff.cc index 02adf32..bc18d92 100644 --- a/compiler2/subtypestuff.cc +++ b/compiler2/subtypestuff.cc @@ -451,6 +451,16 @@ string RealRangeListConstraint::to_string() const return ret_val; } +bool RealRangeListConstraint::is_upper_limit_infinity () const +{ + return rlc.is_upper_limit_infinity(); +} + +bool RealRangeListConstraint::is_lower_limit_infinity () const +{ + return rlc.is_lower_limit_infinity(); +} + //////////////////////////////////////////////////////////////////////////////// string BooleanListConstraint::to_string() const