コード例 #1
0
 public SubPoly <Expression> Widening(SubPoly <Expression> prev)
 {
     return(new SubPoly <Expression>(this.subpoly.Widening(prev.subpoly)));
 }
コード例 #2
0
 public SubPoly <Expression> Join(SubPoly <Expression> right)
 {
     return(new SubPoly <Expression>(this.subpoly.Join(right.subpoly)));
 }
コード例 #3
0
 public SubPoly <Expression> Meet(SubPoly <Expression> right)
 {
     return(new SubPoly <Expression>(this.subpoly.Meet(right.subpoly)));
 }
コード例 #4
0
 public bool LessEqual(SubPoly <Expression> right)
 {
     return(this.subpoly.LessEqual(right.subpoly));
 }