DotNet Reference

DotNet Reference

Domain

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]

Domain ( )
inline

Definition at line 47 of file sat/Domain.cs.

◆ Domain() [2/3]

Domain ( long  value)
inline

Definition at line 50 of file sat/Domain.cs.

◆ Domain() [3/3]

Domain ( long  left,
long  right 
)
inline

Definition at line 53 of file sat/Domain.cs.

Member Function Documentation

◆ AdditionWith()

Domain AdditionWith ( Domain  domain)
inline

Definition at line 139 of file sat/Domain.cs.

◆ AllValues()

static Domain AllValues ( )
inlinestatic

Definition at line 56 of file sat/Domain.cs.

◆ Complement()

Domain Complement ( )
inline

Definition at line 117 of file sat/Domain.cs.

◆ Contains()

bool Contains ( long  value)
inline

Definition at line 112 of file sat/Domain.cs.

◆ Dispose()

virtual void Dispose ( )
inlinevirtual

Definition at line 34 of file sat/Domain.cs.

◆ FlattenedIntervals()

long [] FlattenedIntervals ( )
inline

Definition at line 80 of file sat/Domain.cs.

◆ FromFlatIntervals()

static Domain FromFlatIntervals ( long[]  flat_intervals)
inlinestatic

Definition at line 75 of file sat/Domain.cs.

◆ FromIntervals()

static Domain FromIntervals ( long  intervals[][])
inlinestatic

Definition at line 66 of file sat/Domain.cs.

◆ FromValues()

static Domain FromValues ( long[]  values)
inlinestatic

Definition at line 61 of file sat/Domain.cs.

◆ IntersectionWith()

Domain IntersectionWith ( Domain  domain)
inline

Definition at line 127 of file sat/Domain.cs.

◆ IsEmpty()

bool IsEmpty ( )
inline

Definition at line 92 of file sat/Domain.cs.

◆ Max()

long Max ( )
inline

Definition at line 107 of file sat/Domain.cs.

◆ Min()

long Min ( )
inline

Definition at line 102 of file sat/Domain.cs.

◆ Negation()

Domain Negation ( )
inline

Definition at line 122 of file sat/Domain.cs.

◆ Size()

long Size ( )
inline

Definition at line 97 of file sat/Domain.cs.

◆ ToString()

string ToString ( )
inline

Definition at line 145 of file sat/Domain.cs.

◆ UnionWith()

Domain UnionWith ( Domain  domain)
inline

Definition at line 133 of file sat/Domain.cs.

Member Data Documentation

◆ swigCMemOwn

bool swigCMemOwn
protected

Definition at line 19 of file sat/Domain.cs.


The documentation for this class was generated from the following file: