DotNet Reference

DotNet Reference

BaseIntExpr

Detailed Description

Definition at line 18 of file BaseIntExpr.cs.

Public Member Functions

override IntVar Var ()
 
virtual IntVar CastToVar ()
 
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 ()
 
virtual bool IsVar ()
 
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 IsEqual (IntExpr other)
 
IntVar IsDifferent (long value)
 
IntVar IsDifferent (IntExpr other)
 
IntVar IsGreater (long value)
 
IntVar IsGreater (IntExpr other)
 
IntVar IsGreaterOrEqual (long value)
 
IntVar IsGreaterOrEqual (IntExpr other)
 
IntVar IsLess (long value)
 
IntVar IsLess (IntExpr other)
 
IntVar IsLessOrEqual (long value)
 
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()

virtual void Accept ( ModelVisitor  visitor)
inlinevirtualinherited

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 ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 85 of file IntExpr.cs.

◆ CastToVar()

virtual IntVar CastToVar ( )
inlinevirtual

Definition at line 48 of file BaseIntExpr.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.

Definition at line 29 of file BaseIntExpr.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)
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]

IntVar IsDifferent ( long  value)
inlineinherited

Definition at line 146 of file IntExpr.cs.

◆ IsEqual() [1/2]

IntVar IsEqual ( IntExpr  other)
inlineinherited

Definition at line 200 of file IntExpr.cs.

◆ IsEqual() [2/2]

IntVar IsEqual ( long  value)
inlineinherited

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

IntVar IsGreaterOrEqual ( long  value)
inlineinherited

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

IntVar IsLessOrEqual ( long  value)
inlineinherited

Definition at line 170 of file IntExpr.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()

virtual bool IsVar ( )
inlinevirtualinherited

Reimplemented in IntVar.

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

◆ 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.

◆ 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.

◆ 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 ( )
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.

◆ Var()

override IntVar Var ( )
inlinevirtual

Reimplemented from IntExpr.

Definition at line 42 of file BaseIntExpr.cs.

◆ VarWithName()

IntVar VarWithName ( string  name)
inlineinherited

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