public SubPoly <Expression> Widening(SubPoly <Expression> prev)
{
return(new SubPoly <Expression>(this.subpoly.Widening(prev.subpoly)));
}
public SubPoly <Expression> Join(SubPoly <Expression> right)
{
return(new SubPoly <Expression>(this.subpoly.Join(right.subpoly)));
}
public SubPoly <Expression> Meet(SubPoly <Expression> right)
{
return(new SubPoly <Expression>(this.subpoly.Meet(right.subpoly)));
}
public bool LessEqual(SubPoly <Expression> right)
{
return(this.subpoly.LessEqual(right.subpoly));
}