示例#1
0
 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)));
     }
 }
示例#2
0
 public void BeforeTest()
 {
     mRestrictionUnderTest     = new NumberRestriction();
     mRestrictionUnderTest.Min = MIN_VALUE;
     mRestrictionUnderTest.Max = MAX_VALUE;
 }