public object Visit(NumberRestriction e) { if (e.Kind == "≥" || e.Kind == ">") { return(EXISTS(e.R, e.C)); } else if (e.Kind == "≤" || e.Kind == "<") { return(ONLY_C(e.R, e.C)); } else { return(Intersect(EXISTS(e.R, e.C), ONLY_C(e.R, e.C))); } }
public void BeforeTest() { mRestrictionUnderTest = new NumberRestriction(); mRestrictionUnderTest.Min = MIN_VALUE; mRestrictionUnderTest.Max = MAX_VALUE; }