Contractors, separators CtcInverse Definition Construction and basic usage Dealing with equalities and inequalities Example Possible usages of CtcInverse with respect to domain and codomain types Not-in constraints: CtcInverseNotIn Miscellaneous Access to the underlying function Centered form option CtcDist codac2::CtcDist Methods contract() contract() Example of use with a paver CtcPolar codac2::CtcPolar Methods contract() contract() Related content