Contractors, separators

Overview of contractors and separators

Contractors	Separators
`CtcIdentity`	—
`CtcEmpty`	—
`CtcLazy`	—
`CtcFixpoint`	—
`CtcGaussElim`	—
`CtcGaussSeidel`	—
`CtcLinearPrecond`	—
`CtcUnion`	`SepUnion`
CtcInter	`SepInter`
`CtcQInter`	`SepQInter`
`CtcCartProd`	`SepCartProd`
`CtcProj`	`SepProj`
`CtcNot`	`SepNot`
`CtcAction`	`SepAction`
CtcInverse	`SepInverse`
`CtcInverseNotIn`	—
—	`SepTransform`
CtcDist	—
CtcPolar	`SepPolarCart` / `SepCartPolar`
`CtcSegment`	—
`CtcPolygon`	`SepPolygon`
`CtcPointCloud`	—
`CtcEllipse`	`SepEllipse`
`CtcCross` / `CtcNoCross`	`SepCross`
`CtcCtcBoundary`	`SepCtcBoundary`
`CtcWrapper`	`SepWrapper`
`CtcImage`	`SepImage`
`CtcDiscreteSet`	—
`CtcDeriv`	—
`CtcEval`	—
`CtcDelay`	—
`CtcLinobs`	—
`CtcLohner`	—
`CtcPicard`	—
`CtcChain`	—
`CtcDiffInclusion`	—
—	`SepCtcPair`
`CtcInnerOuter`	—