Exemplo n.º 1
0
 public SubPoly <Expression> Widening(SubPoly <Expression> prev)
 {
     return(new SubPoly <Expression>(this.subpoly.Widening(prev.subpoly)));
 }
Exemplo n.º 2
0
 public SubPoly <Expression> Join(SubPoly <Expression> right)
 {
     return(new SubPoly <Expression>(this.subpoly.Join(right.subpoly)));
 }
Exemplo n.º 3
0
 public SubPoly <Expression> Meet(SubPoly <Expression> right)
 {
     return(new SubPoly <Expression>(this.subpoly.Meet(right.subpoly)));
 }
Exemplo n.º 4
0
 public bool LessEqual(SubPoly <Expression> right)
 {
     return(this.subpoly.LessEqual(right.subpoly));
 }