DotNet Reference

DotNet Reference

IntExpr

Detailed Description

Definition at line 18 of file IntExpr.cs.

Public Member Functions

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 ()
 
virtual bool IsVar ()
 
virtual IntVar Var ()
 
IntVar VarWithName (string name)
 
virtual void WhenRange (Demon d)
 
void WhenRange (VoidToVoid closure)
 
virtual void Accept (ModelVisitor visitor)
 
Constraint MapTo (IntVarVector vars)
 
IntExpr IndexOf (long[] vars)
 
IntExpr IndexOf (IntVarVector vars)
 
IntVar IsEqual (long value)
 
IntVar IsDifferent (long value)
 
IntVar IsGreater (long value)
 
IntVar IsGreaterOrEqual (long value)
 
IntVar IsLess (long value)
 
IntVar IsLessOrEqual (long value)
 
IntVar IsMember (long[] values)
 
IntVar IsMember (int[] values)
 
Constraint Member (long[] values)
 
Constraint Member (int[] values)
 
IntVar IsEqual (IntExpr other)
 
IntVar IsDifferent (IntExpr other)
 
IntVar IsGreater (IntExpr other)
 
IntVar IsGreaterOrEqual (IntExpr other)
 
IntVar IsLess (IntExpr other)
 
IntVar IsLessOrEqual (IntExpr other)
 
OptimizeVar Minimize (long step)
 
OptimizeVar Maximize (long step)
 
IntExpr Abs ()
 
IntExpr Square ()
 
void Dispose ()
 
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, 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 IntExpr operator- (IntExpr a)
 
static IntExprEquality operator== (IntExpr a, IntExpr b)
 
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, long v)
 
static WrappedConstraint operator> (IntExpr a, long v)
 
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, IntExpr b)
 
static WrappedConstraint operator<= (IntExpr a, IntExpr b)
 
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 ( )
inline

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

◆ Accept()

virtual void Accept ( ModelVisitor  visitor)
inlinevirtual

Reimplemented in IntVar.

Definition at line 116 of file IntExpr.cs.

◆ BaseName()

virtual string BaseName ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 95 of file PropagationBaseObject.cs.

◆ Bound()

virtual bool Bound ( )
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 85 of file IntExpr.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 BaseObject.

Reimplemented in IntVar.

Definition at line 29 of file IntExpr.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.

◆ HasName()

bool HasName ( )
inlineinherited

Definition at line 90 of file PropagationBaseObject.cs.

◆ IndexOf() [1/2]

IntExpr IndexOf ( IntVarVector  vars)
inline

Definition at line 133 of file IntExpr.cs.

◆ IndexOf() [2/2]

IntExpr IndexOf ( long[]  vars)
inline

Definition at line 127 of file IntExpr.cs.

◆ IsDifferent() [1/2]

IntVar IsDifferent ( IntExpr  other)
inline

Definition at line 206 of file IntExpr.cs.

◆ IsDifferent() [2/2]

IntVar IsDifferent ( long  value)
inline

Definition at line 146 of file IntExpr.cs.

◆ IsEqual() [1/2]

IntVar IsEqual ( IntExpr  other)
inline

Definition at line 200 of file IntExpr.cs.

◆ IsEqual() [2/2]

IntVar IsEqual ( long  value)
inline

Definition at line 140 of file IntExpr.cs.

◆ IsGreater() [1/2]

IntVar IsGreater ( IntExpr  other)
inline

Definition at line 212 of file IntExpr.cs.

◆ IsGreater() [2/2]

IntVar IsGreater ( long  value)
inline

Definition at line 152 of file IntExpr.cs.

◆ IsGreaterOrEqual() [1/2]

IntVar IsGreaterOrEqual ( IntExpr  other)
inline

Definition at line 218 of file IntExpr.cs.

◆ IsGreaterOrEqual() [2/2]

IntVar IsGreaterOrEqual ( long  value)
inline

Definition at line 158 of file IntExpr.cs.

◆ IsLess() [1/2]

IntVar IsLess ( IntExpr  other)
inline

Definition at line 224 of file IntExpr.cs.

◆ IsLess() [2/2]

IntVar IsLess ( long  value)
inline

Definition at line 164 of file IntExpr.cs.

◆ IsLessOrEqual() [1/2]

IntVar IsLessOrEqual ( IntExpr  other)
inline

Definition at line 230 of file IntExpr.cs.

◆ IsLessOrEqual() [2/2]

IntVar IsLessOrEqual ( long  value)
inline

Definition at line 170 of file IntExpr.cs.

◆ IsMember() [1/2]

IntVar IsMember ( int[]  values)
inline

Definition at line 182 of file IntExpr.cs.

◆ IsMember() [2/2]

IntVar IsMember ( long[]  values)
inline

Definition at line 176 of file IntExpr.cs.

◆ IsVar()

virtual bool IsVar ( )
inlinevirtual

Reimplemented in IntVar.

Definition at line 90 of file IntExpr.cs.

◆ MapTo()

Constraint MapTo ( IntVarVector  vars)
inline

Definition at line 120 of file IntExpr.cs.

◆ Max()

virtual long Max ( )
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 61 of file IntExpr.cs.

◆ Maximize()

OptimizeVar Maximize ( long  step)
inline

Definition at line 242 of file IntExpr.cs.

◆ Member() [1/2]

Constraint Member ( int[]  values)
inline

Definition at line 194 of file IntExpr.cs.

◆ Member() [2/2]

Constraint Member ( long[]  values)
inline

Definition at line 188 of file IntExpr.cs.

◆ Min()

virtual long Min ( )
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 51 of file IntExpr.cs.

◆ Minimize()

OptimizeVar Minimize ( long  step)
inline

Definition at line 236 of file IntExpr.cs.

◆ Name()

virtual string Name ( )
inlinevirtualinherited

Definition at line 80 of file PropagationBaseObject.cs.

◆ operator!=() [1/2]

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

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

◆ operator!=() [2/2]

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

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

◆ operator%()

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

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

◆ operator*() [1/3]

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

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

◆ operator*() [2/3]

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

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

◆ operator*() [3/3]

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

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

◆ operator+() [1/3]

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

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

◆ operator+() [2/3]

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

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

◆ operator+() [3/3]

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

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

◆ operator-() [1/4]

static IntExpr operator- ( IntExpr  a)
inlinestatic

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

◆ operator-() [2/4]

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

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

◆ operator-() [3/4]

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

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

◆ operator-() [4/4]

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

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

◆ operator/()

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

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

◆ operator<() [1/2]

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

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

◆ operator<() [2/2]

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

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

◆ operator<=() [1/2]

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

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

◆ operator<=() [2/2]

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

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

◆ operator==() [1/2]

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

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

◆ operator==() [2/2]

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

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

◆ operator>() [1/2]

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

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

◆ operator>() [2/2]

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

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

◆ operator>=() [1/2]

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

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

◆ operator>=() [2/2]

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

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

◆ Range()

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

Definition at line 71 of file IntExpr.cs.

◆ ResetActionOnFail()

void ResetActionOnFail ( )
inlineinherited

Definition at line 72 of file PropagationBaseObject.cs.

◆ SetMax()

virtual void SetMax ( long  m)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 66 of file IntExpr.cs.

◆ SetMin()

virtual void SetMin ( long  m)
inlinevirtual

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 
)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 75 of file IntExpr.cs.

◆ SetValue()

virtual void SetValue ( long  v)
inlinevirtual

Definition at line 80 of file IntExpr.cs.

◆ SetVariableToCleanOnFail()

void SetVariableToCleanOnFail ( IntVar  v)
inlineinherited

Definition at line 76 of file PropagationBaseObject.cs.

◆ solver()

Solver solver ( )
inlineinherited

Definition at line 50 of file PropagationBaseObject.cs.

◆ Square()

IntExpr Square ( )
inline

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.

◆ Var()

virtual IntVar Var ( )
inlinevirtual

Reimplemented in IntVar, and BaseIntExpr.

Definition at line 95 of file IntExpr.cs.

◆ VarWithName()

IntVar VarWithName ( string  name)
inline

Definition at line 101 of file IntExpr.cs.

◆ WhenRange() [1/2]

virtual void WhenRange ( Demon  d)
inlinevirtual

Reimplemented in BooleanVar.

Definition at line 108 of file IntExpr.cs.

◆ WhenRange() [2/2]

void WhenRange ( VoidToVoid  closure)
inline

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 files: