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

AbstractContractor and BasicContractor #136

Closed dpsanders closed 5 years ago

dpsanders commented 5 years ago

Add AbstractContractor abstract type and a BasicContractor type that just contains forward and backward functions without all the extra stuff.

dpsanders commented 5 years ago

Given a Contractor C, BasicContractor should have just C.forward.f, called forward, and C.backward.f, called backward.

dpsanders commented 5 years ago

The motivation for this is that a Contractor C has a lot of extra stuff that is not actually necessary.

dpsanders commented 5 years ago

Fixed in #137.