DotNet Reference

DotNet Reference

IntVar

Detailed Description

Definition at line 18 of file IntVar.cs.

Public Member Functions

override bool IsVar ()
 
override IntVar Var ()
 
virtual long Value ()
 
virtual void RemoveValue (long v)
 
virtual void RemoveInterval (long l, long u)
 
virtual void RemoveValues (long[] values)
 
virtual void SetValues (long[] values)
 
virtual void WhenBound (Demon d)
 
void WhenBound (VoidToVoid closure)
 
virtual void WhenDomain (Demon d)
 
void WhenDomain (VoidToVoid closure)
 
virtual ulong Size ()
 
virtual bool Contains (long v)
 
virtual long OldMin ()
 
virtual long OldMax ()
 
virtual int VarType ()
 
override void Accept (ModelVisitor visitor)
 
virtual new IntVar IsEqual (long constant)
 
virtual new IntVar IsDifferent (long constant)
 
virtual new IntVar IsGreaterOrEqual (long constant)
 
virtual new IntVar IsLessOrEqual (long constant)
 
int Index ()
 
IntVarIterator GetDomain ()
 
IntVarIterator GetHoles ()
 
void Dispose ()
 
virtual long Min ()
 
virtual void SetMin (long m)
 
virtual long Max ()
 
virtual void SetMax (long m)
 
virtual void Range (out int l, out int u)
 
virtual void SetRange (long l, long u)
 
virtual void SetValue (long v)
 
virtual bool Bound ()
 
IntVar VarWithName (string name)
 
virtual void WhenRange (Demon d)
 
void WhenRange (VoidToVoid closure)
 
Constraint MapTo (IntVarVector vars)
 
IntExpr IndexOf (long[] vars)
 
IntExpr IndexOf (IntVarVector vars)
 
IntVar IsEqual (IntExpr other)
 
IntVar IsDifferent (IntExpr other)
 
IntVar IsGreater (long value)
 
IntVar IsGreater (IntExpr other)
 
IntVar IsGreaterOrEqual (IntExpr other)
 
IntVar IsLess (long value)
 
IntVar IsLess (IntExpr other)
 
IntVar IsLessOrEqual (IntExpr other)
 
IntVar IsMember (long[] values)
 
IntVar IsMember (int[] values)
 
Constraint Member (long[] values)
 
Constraint Member (int[] values)
 
OptimizeVar Minimize (long step)
 
OptimizeVar Maximize (long step)
 
IntExpr Abs ()
 
IntExpr Square ()
 
override string ToString ()
 
Solver solver ()
 
void FreezeQueue ()
 
void UnfreezeQueue ()
 
void EnqueueDelayedDemon (Demon d)
 
void EnqueueVar (Demon d)
 
void ResetActionOnFail ()
 
void SetVariableToCleanOnFail (IntVar v)
 
virtual string Name ()
 
void SetName (string name)
 
bool HasName ()
 
virtual string BaseName ()
 

Static Public Member Functions

static IntExpr operator+ (IntExpr a, IntExpr b)
 
static IntExpr operator+ (IntExpr a, long v)
 
static IntExpr operator+ (long v, IntExpr a)
 
static IntExpr operator- (IntExpr a, IntExpr b)
 
static IntExpr operator- (IntExpr a, long v)
 
static IntExpr operator- (long v, IntExpr a)
 
static IntExpr operator- (IntExpr a)
 
static IntExpr operator* (IntExpr a, IntExpr b)
 
static IntExpr operator* (IntExpr a, long v)
 
static IntExpr operator* (long v, IntExpr a)
 
static IntExpr operator/ (IntExpr a, long v)
 
static IntExpr operator% (IntExpr a, long v)
 
static IntExprEquality operator== (IntExpr a, IntExpr b)
 
static WrappedConstraint operator== (IntExpr a, long v)
 
static IntExprEquality operator!= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator!= (IntExpr a, long v)
 
static WrappedConstraint operator>= (IntExpr a, long v)
 
static WrappedConstraint operator>= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator> (IntExpr a, long v)
 
static WrappedConstraint operator> (IntExpr a, IntExpr b)
 
static WrappedConstraint operator<= (IntExpr a, long v)
 
static WrappedConstraint operator<= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator< (IntExpr a, long v)
 
static WrappedConstraint operator< (IntExpr a, IntExpr b)
 

Protected Member Functions

override void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inlineinherited

Definition at line 369 of file constraint_solver/csharp/SolverHelper.cs.

◆ Accept()

override void Accept ( ModelVisitor  visitor)
inlinevirtual

Reimplemented from IntExpr.

Definition at line 126 of file IntVar.cs.

◆ BaseName()

virtual string BaseName ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 95 of file PropagationBaseObject.cs.

◆ Bound()

virtual bool Bound ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 85 of file IntExpr.cs.

◆ Contains()

virtual bool Contains ( long  v)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 106 of file IntVar.cs.

◆ Dispose() [1/2]

void Dispose ( )
inlineinherited

Definition at line 35 of file BaseObject.cs.

◆ Dispose() [2/2]

override void Dispose ( bool  disposing)
inlineprotectedvirtual

Reimplemented from IntExpr.

Definition at line 29 of file IntVar.cs.

◆ EnqueueDelayedDemon()

void EnqueueDelayedDemon ( Demon  d)
inlineinherited

Definition at line 64 of file PropagationBaseObject.cs.

◆ EnqueueVar()

void EnqueueVar ( Demon  d)
inlineinherited

Definition at line 68 of file PropagationBaseObject.cs.

◆ FreezeQueue()

void FreezeQueue ( )
inlineinherited

Definition at line 56 of file PropagationBaseObject.cs.

◆ GetDomain()

IntVarIterator GetDomain ( )
inline

Definition at line 159 of file IntVar.cs.

◆ GetHoles()

IntVarIterator GetHoles ( )
inline

Definition at line 165 of file IntVar.cs.

◆ HasName()

bool HasName ( )
inlineinherited

Definition at line 90 of file PropagationBaseObject.cs.

◆ Index()

int Index ( )
inline

Definition at line 154 of file IntVar.cs.

◆ IndexOf() [1/2]

IntExpr IndexOf ( IntVarVector  vars)
inlineinherited

Definition at line 133 of file IntExpr.cs.

◆ IndexOf() [2/2]

IntExpr IndexOf ( long[]  vars)
inlineinherited

Definition at line 127 of file IntExpr.cs.

◆ IsDifferent() [1/2]

IntVar IsDifferent ( IntExpr  other)
inlineinherited

Definition at line 206 of file IntExpr.cs.

◆ IsDifferent() [2/2]

virtual new IntVar IsDifferent ( long  constant)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 136 of file IntVar.cs.

◆ IsEqual() [1/2]

IntVar IsEqual ( IntExpr  other)
inlineinherited

Definition at line 200 of file IntExpr.cs.

◆ IsEqual() [2/2]

virtual new IntVar IsEqual ( long  constant)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 130 of file IntVar.cs.

◆ IsGreater() [1/2]

IntVar IsGreater ( IntExpr  other)
inlineinherited

Definition at line 212 of file IntExpr.cs.

◆ IsGreater() [2/2]

IntVar IsGreater ( long  value)
inlineinherited

Definition at line 152 of file IntExpr.cs.

◆ IsGreaterOrEqual() [1/2]

IntVar IsGreaterOrEqual ( IntExpr  other)
inlineinherited

Definition at line 218 of file IntExpr.cs.

◆ IsGreaterOrEqual() [2/2]

virtual new IntVar IsGreaterOrEqual ( long  constant)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 142 of file IntVar.cs.

◆ IsLess() [1/2]

IntVar IsLess ( IntExpr  other)
inlineinherited

Definition at line 224 of file IntExpr.cs.

◆ IsLess() [2/2]

IntVar IsLess ( long  value)
inlineinherited

Definition at line 164 of file IntExpr.cs.

◆ IsLessOrEqual() [1/2]

IntVar IsLessOrEqual ( IntExpr  other)
inlineinherited

Definition at line 230 of file IntExpr.cs.

◆ IsLessOrEqual() [2/2]

virtual new IntVar IsLessOrEqual ( long  constant)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 148 of file IntVar.cs.

◆ IsMember() [1/2]

IntVar IsMember ( int[]  values)
inlineinherited

Definition at line 182 of file IntExpr.cs.

◆ IsMember() [2/2]

IntVar IsMember ( long[]  values)
inlineinherited

Definition at line 176 of file IntExpr.cs.

◆ IsVar()

override bool IsVar ( )
inlinevirtual

Reimplemented from IntExpr.

Definition at line 51 of file IntVar.cs.

◆ MapTo()

Constraint MapTo ( IntVarVector  vars)
inlineinherited

Definition at line 120 of file IntExpr.cs.

◆ Max()

virtual long Max ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 61 of file IntExpr.cs.

◆ Maximize()

OptimizeVar Maximize ( long  step)
inlineinherited

Definition at line 242 of file IntExpr.cs.

◆ Member() [1/2]

Constraint Member ( int[]  values)
inlineinherited

Definition at line 194 of file IntExpr.cs.

◆ Member() [2/2]

Constraint Member ( long[]  values)
inlineinherited

Definition at line 188 of file IntExpr.cs.

◆ Min()

virtual long Min ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 51 of file IntExpr.cs.

◆ Minimize()

OptimizeVar Minimize ( long  step)
inlineinherited

Definition at line 236 of file IntExpr.cs.

◆ Name()

virtual string Name ( )
inlinevirtualinherited

Definition at line 80 of file PropagationBaseObject.cs.

◆ OldMax()

virtual long OldMax ( )
inlinevirtual

Definition at line 116 of file IntVar.cs.

◆ OldMin()

virtual long OldMin ( )
inlinevirtual

Definition at line 111 of file IntVar.cs.

◆ operator!=() [1/2]

static IntExprEquality operator!= ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 378 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator!=() [2/2]

static WrappedConstraint operator!= ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 384 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator%()

static IntExpr operator% ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 363 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator*() [1/3]

static IntExpr operator* ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 351 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator*() [2/3]

static IntExpr operator* ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 354 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator*() [3/3]

static IntExpr operator* ( long  v,
IntExpr  a 
)
inlinestaticinherited

Definition at line 357 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator+() [1/3]

static IntExpr operator+ ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 333 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator+() [2/3]

static IntExpr operator+ ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 336 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator+() [3/3]

static IntExpr operator+ ( long  v,
IntExpr  a 
)
inlinestaticinherited

Definition at line 339 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [1/4]

static IntExpr operator- ( IntExpr  a)
inlinestaticinherited

Definition at line 366 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [2/4]

static IntExpr operator- ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 342 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [3/4]

static IntExpr operator- ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 345 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [4/4]

static IntExpr operator- ( long  v,
IntExpr  a 
)
inlinestaticinherited

Definition at line 348 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator/()

static IntExpr operator/ ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 360 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<() [1/2]

static WrappedConstraint operator< ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 408 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<() [2/2]

static WrappedConstraint operator< ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 396 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<=() [1/2]

static WrappedConstraint operator<= ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 405 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<=() [2/2]

static WrappedConstraint operator<= ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 393 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator==() [1/2]

static IntExprEquality operator== ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 375 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator==() [2/2]

static WrappedConstraint operator== ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 381 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>() [1/2]

static WrappedConstraint operator> ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 402 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>() [2/2]

static WrappedConstraint operator> ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 390 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>=() [1/2]

static WrappedConstraint operator>= ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 399 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>=() [2/2]

static WrappedConstraint operator>= ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 387 of file constraint_solver/csharp/SolverHelper.cs.

◆ Range()

virtual void Range ( out int  l,
out int  u 
)
inlinevirtualinherited

Definition at line 71 of file IntExpr.cs.

◆ RemoveInterval()

virtual void RemoveInterval ( long  l,
long  u 
)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 72 of file IntVar.cs.

◆ RemoveValue()

virtual void RemoveValue ( long  v)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 67 of file IntVar.cs.

◆ RemoveValues()

virtual void RemoveValues ( long[]  values)
inlinevirtual

Definition at line 76 of file IntVar.cs.

◆ ResetActionOnFail()

void ResetActionOnFail ( )
inlineinherited

Definition at line 72 of file PropagationBaseObject.cs.

◆ SetMax()

virtual void SetMax ( long  m)
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 66 of file IntExpr.cs.

◆ SetMin()

virtual void SetMin ( long  m)
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 56 of file IntExpr.cs.

◆ SetName()

void SetName ( string  name)
inlineinherited

Definition at line 85 of file PropagationBaseObject.cs.

◆ SetRange()

virtual void SetRange ( long  l,
long  u 
)
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 75 of file IntExpr.cs.

◆ SetValue()

virtual void SetValue ( long  v)
inlinevirtualinherited

Definition at line 80 of file IntExpr.cs.

◆ SetValues()

virtual void SetValues ( long[]  values)
inlinevirtual

Definition at line 81 of file IntVar.cs.

◆ SetVariableToCleanOnFail()

void SetVariableToCleanOnFail ( IntVar  v)
inlineinherited

Definition at line 76 of file PropagationBaseObject.cs.

◆ Size()

virtual ulong Size ( )
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 101 of file IntVar.cs.

◆ solver()

Solver solver ( )
inlineinherited

Definition at line 50 of file PropagationBaseObject.cs.

◆ Square()

IntExpr Square ( )
inlineinherited

Definition at line 372 of file constraint_solver/csharp/SolverHelper.cs.

◆ ToString()

override string ToString ( )
inlinevirtualinherited

Reimplemented from BaseObject.

Reimplemented in NetConstraint, and SequenceVar.

Definition at line 45 of file PropagationBaseObject.cs.

◆ UnfreezeQueue()

void UnfreezeQueue ( )
inlineinherited

Definition at line 60 of file PropagationBaseObject.cs.

◆ Value()

virtual long Value ( )
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 62 of file IntVar.cs.

◆ Var()

override IntVar Var ( )
inlinevirtual

Reimplemented from IntExpr.

Definition at line 56 of file IntVar.cs.

◆ VarType()

virtual int VarType ( )
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 121 of file IntVar.cs.

◆ VarWithName()

IntVar VarWithName ( string  name)
inlineinherited

Definition at line 101 of file IntExpr.cs.

◆ WhenBound() [1/2]

virtual void WhenBound ( Demon  d)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 85 of file IntVar.cs.

◆ WhenBound() [2/2]

void WhenBound ( VoidToVoid  closure)
inline

Definition at line 89 of file IntVar.cs.

◆ WhenDomain() [1/2]

virtual void WhenDomain ( Demon  d)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 93 of file IntVar.cs.

◆ WhenDomain() [2/2]

void WhenDomain ( VoidToVoid  closure)
inline

Definition at line 97 of file IntVar.cs.

◆ WhenRange() [1/2]

virtual void WhenRange ( Demon  d)
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 108 of file IntExpr.cs.

◆ WhenRange() [2/2]

void WhenRange ( VoidToVoid  closure)
inlineinherited

Definition at line 112 of file IntExpr.cs.

Member Data Documentation

◆ swigCMemOwn

bool swigCMemOwn
protectedinherited

Definition at line 20 of file BaseObject.cs.


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