Update Survey-Package-on-Sets.md

putianyi889 · Sep 19, 2023 · 512f309 · 512f309
1 parent 6c12a56
commit 512f309
Showing 1 changed file with 70 additions and 1 deletion.
diff --git a/Julia/Survey-Package-on-Sets.md b/Julia/Survey-Package-on-Sets.md
@@ -67,4 +67,73 @@ LazySet
 └─ UnionSetArray
 ```
 
-## Intervals.jl
+## DomainSets.jl X IntervalSets.jl
+```
+Domain
+├─ AbstractInterval
+│  └─ TypedEndpointsInterval
+│     ├─ FixedInterval
+│     │  ├─ ChebyshevInterval
+│     │  ├─ HalfLine
+│     │  ├─ NegativeHalfLine
+│     │  ├─ RealLine
+│     │  └─ UnitInterval
+│     └─ Interval
+├─ Ball
+│  ├─ GenericBall
+│  └─ UnitBall
+│     ├─ DynamicUnitBall
+│     └─ StaticUnitBall
+├─ ComplexNumbers
+├─ AbstractIndicatorFunction
+│  ├─ BoundedIndicatorFunction
+│  └─ IndicatorFunction
+├─ FunctionLevelSet
+│  ├─ AbstractLevelSet
+│  │  ├─ LevelSet
+│  │  └─ ZeroSet
+│  ├─ AbstractSublevelSet
+│  │  ├─ SublevelSet
+│  │  └─ SubzeroSet
+│  └─ AbstractSuperlevelSet
+│     ├─ SuperlevelSet
+│     └─ SuperzeroSet
+├─ LazyDomain
+│  ├─ CompositeDomain
+│  │  ├─ IntersectDomain
+│  │  ├─ ProductDomain
+│  │  │  ├─ HyperRectangle
+│  │  │  │  ├─ Cube
+│  │  │  │  │  ⋮
+│  │  │  │  │
+│  │  │  │  └─ Rectangle
+│  │  │  ├─ TupleProductDomain
+│  │  │  ├─ VcatDomain
+│  │  │  └─ VectorProductDomain
+│  │  ├─ SetdiffDomain
+│  │  └─ UnionDomain
+│  └─ SimpleLazyDomain
+│     ├─ AbstractMappedDomain
+│     │  ├─ ParametricDomain
+│     │  └─ MappedDomain
+│     └─ DerivedDomain
+│        ├─ ExampleNamedDomain
+│        └─ WrappedDomain
+├─ NaturalNumbers
+├─ Simplex
+│  └─ UnitSimplex
+│     ├─ DynamicUnitSimplex
+│     └─ StaticUnitSimplex
+├─ EmptySpace
+├─ FullSpace
+├─ Integers
+├─ Point
+├─ Rationals
+├─ RealNumbers
+├─ Sphere
+│  ├─ GenericSphere
+│  └─ UnitSphere
+│     ├─ DynamicUnitSphere
+│     └─ StaticUnitSphere
+└─ TypeDomain
+```