DotNet Reference
DotNet Reference
Detailed Description
Definition at line 17 of file sat/Domain.cs.
Public Member Functions | |
| virtual void | Dispose () |
| Domain () | |
| Domain (long value) | |
| Domain (long left, long right) | |
| long[] | FlattenedIntervals () |
| bool | IsEmpty () |
| long | Size () |
| long | Min () |
| long | Max () |
| bool | Contains (long value) |
| Domain | Complement () |
| Domain | Negation () |
| Domain | IntersectionWith (Domain domain) |
| Domain | UnionWith (Domain domain) |
| Domain | AdditionWith (Domain domain) |
| string | ToString () |
Static Public Member Functions | |
| static Domain | AllValues () |
| static Domain | FromValues (long[] values) |
| static Domain | FromIntervals (long[][] intervals) |
| static Domain | FromFlatIntervals (long[] flat_intervals) |
Protected Attributes | |
| bool | swigCMemOwn |
Constructor & Destructor Documentation
◆ Domain() [1/3]
|
inline |
Definition at line 47 of file sat/Domain.cs.
◆ Domain() [2/3]
|
inline |
Definition at line 50 of file sat/Domain.cs.
◆ Domain() [3/3]
|
inline |
Definition at line 53 of file sat/Domain.cs.
Member Function Documentation
◆ AdditionWith()
Definition at line 139 of file sat/Domain.cs.
◆ AllValues()
|
inlinestatic |
Definition at line 56 of file sat/Domain.cs.
◆ Complement()
|
inline |
Definition at line 117 of file sat/Domain.cs.
◆ Contains()
|
inline |
Definition at line 112 of file sat/Domain.cs.
◆ Dispose()
|
inlinevirtual |
Definition at line 34 of file sat/Domain.cs.
◆ FlattenedIntervals()
|
inline |
Definition at line 80 of file sat/Domain.cs.
◆ FromFlatIntervals()
|
inlinestatic |
Definition at line 75 of file sat/Domain.cs.
◆ FromIntervals()
|
inlinestatic |
Definition at line 66 of file sat/Domain.cs.
◆ FromValues()
|
inlinestatic |
Definition at line 61 of file sat/Domain.cs.
◆ IntersectionWith()
Definition at line 127 of file sat/Domain.cs.
◆ IsEmpty()
|
inline |
Definition at line 92 of file sat/Domain.cs.
◆ Max()
|
inline |
Definition at line 107 of file sat/Domain.cs.
◆ Min()
|
inline |
Definition at line 102 of file sat/Domain.cs.
◆ Negation()
|
inline |
Definition at line 122 of file sat/Domain.cs.
◆ Size()
|
inline |
Definition at line 97 of file sat/Domain.cs.
◆ ToString()
|
inline |
Definition at line 145 of file sat/Domain.cs.
◆ UnionWith()
Definition at line 133 of file sat/Domain.cs.
Member Data Documentation
◆ swigCMemOwn
|
protected |
Definition at line 19 of file sat/Domain.cs.
The documentation for this class was generated from the following file: