search

JuliaIntervals / IntervalConstraintProgramming.jl

Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
Other
63 stars 16 forks source link

Contractor and Separator from variables and Operation #131

Closed dpsanders closed 5 years ago

dpsanders commented 5 years ago

We need Contractor(vars, ex::Operation) and similarly for Separator.

cc @yashcodes

dpsanders commented 5 years ago

We should also remove ::Function from the currently defined method Contractor(vars, f::Function) so that it can be anything that behaves like a Function.

yashvardhan747 commented 5 years ago

Separator(vars, expr::Operation ) is already there.

yashvardhan747 commented 5 years ago

According to issue#117 I think we want something like 

julia>para = @polyvar x y
julia> p(x,y)  = x+y < 1  
julia> Separator( para, p )
dpsanders commented 5 years ago

Fixed by #133