DotNet Reference

DotNet Reference

Constraint

Detailed Description

Definition at line 18 of file constraint_solver/Constraint.cs.

Public Member Functions

 Constraint (Solver solver)
 
virtual void Post ()
 
virtual void InitialPropagateWrapper ()
 
override string ToString ()
 
virtual void Accept (ModelVisitor visitor)
 
bool IsCastConstraint ()
 
virtual IntVar Var ()
 
delegate string SwigDelegateConstraint_0 ()
 
delegate string SwigDelegateConstraint_1 ()
 
delegate string SwigDelegateConstraint_2 ()
 
delegate void SwigDelegateConstraint_3 ()
 
delegate void SwigDelegateConstraint_4 ()
 
IntExpr Abs ()
 
IntExpr Square ()
 
void Dispose ()
 
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 ()
 
Solver solver ()
 

Static Public Member Functions

static implicit operator IntVar (Constraint eq)
 
static implicit operator IntExpr (Constraint eq)
 
static IntExpr operator+ (Constraint a, Constraint b)
 
static IntExpr operator+ (Constraint a, long v)
 
static IntExpr operator+ (long v, Constraint a)
 
static IntExpr operator- (Constraint a, Constraint b)
 
static IntExpr operator- (Constraint a, long v)
 
static IntExpr operator- (long v, Constraint a)
 
static IntExpr operator* (Constraint a, Constraint b)
 
static IntExpr operator* (Constraint a, long v)
 
static IntExpr operator* (long v, Constraint a)
 
static IntExpr operator/ (Constraint a, long v)
 
static IntExpr operator- (Constraint a)
 
static WrappedConstraint operator== (Constraint a, long v)
 
static WrappedConstraint operator== (long v, Constraint a)
 
static WrappedConstraint operator!= (Constraint a, long v)
 
static WrappedConstraint operator!= (long v, Constraint a)
 
static WrappedConstraint operator>= (Constraint a, long v)
 
static WrappedConstraint operator>= (long v, Constraint a)
 
static WrappedConstraint operator> (Constraint a, long v)
 
static WrappedConstraint operator> (long v, Constraint a)
 
static WrappedConstraint operator<= (Constraint a, long v)
 
static WrappedConstraint operator<= (long v, Constraint a)
 
static WrappedConstraint operator< (Constraint a, long v)
 
static WrappedConstraint operator< (long v, Constraint a)
 
static WrappedConstraint operator>= (Constraint a, Constraint b)
 
static WrappedConstraint operator> (Constraint a, Constraint b)
 
static WrappedConstraint operator<= (Constraint a, Constraint b)
 
static WrappedConstraint operator< (Constraint a, Constraint b)
 
static ConstraintEquality operator== (Constraint a, Constraint b)
 
static ConstraintEquality operator!= (Constraint a, Constraint b)
 

Protected Member Functions

override void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Constructor & Destructor Documentation

◆ Constraint()

Constraint ( Solver  solver)
inline

Definition at line 42 of file constraint_solver/Constraint.cs.

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inline

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

◆ Accept()

virtual void Accept ( ModelVisitor  visitor)
inlinevirtual

Reimplemented in Pack.

Definition at line 59 of file constraint_solver/Constraint.cs.

◆ BaseName()

virtual string BaseName ( )
inlinevirtualinherited

Reimplemented in BooleanVar.

Definition at line 95 of file PropagationBaseObject.cs.

◆ Dispose() [1/2]

void Dispose ( )
inlineinherited

Definition at line 35 of file BaseObject.cs.

◆ Dispose() [2/2]

override void Dispose ( bool  disposing)
inlineprotectedvirtual

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

◆ InitialPropagateWrapper()

virtual void InitialPropagateWrapper ( )
inlinevirtual

◆ IsCastConstraint()

bool IsCastConstraint ( )
inline

Definition at line 63 of file constraint_solver/Constraint.cs.

◆ Name()

virtual string Name ( )
inlinevirtualinherited

Definition at line 80 of file PropagationBaseObject.cs.

◆ operator IntExpr()

static implicit operator IntExpr ( Constraint  eq)
inlinestatic

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

◆ operator IntVar()

static implicit operator IntVar ( Constraint  eq)
inlinestatic

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

◆ operator!=() [1/3]

static ConstraintEquality operator!= ( Constraint  a,
Constraint  b 
)
inlinestatic

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

◆ operator!=() [2/3]

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

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

◆ operator!=() [3/3]

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

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

◆ operator*() [1/3]

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

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

◆ operator*() [2/3]

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

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

◆ operator*() [3/3]

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

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

◆ operator+() [1/3]

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

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

◆ operator+() [2/3]

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

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

◆ operator+() [3/3]

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

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

◆ operator-() [1/4]

static IntExpr operator- ( Constraint  a)
inlinestatic

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

◆ operator-() [2/4]

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

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

◆ operator-() [3/4]

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

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

◆ operator-() [4/4]

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

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

◆ operator/()

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

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

◆ operator<() [1/3]

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

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

◆ operator<() [2/3]

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

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

◆ operator<() [3/3]

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

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

◆ operator<=() [1/3]

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

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

◆ operator<=() [2/3]

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

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

◆ operator<=() [3/3]

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

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

◆ operator==() [1/3]

static ConstraintEquality operator== ( Constraint  a,
Constraint  b 
)
inlinestatic

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

◆ operator==() [2/3]

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

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

◆ operator==() [3/3]

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

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

◆ operator>() [1/3]

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

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

◆ operator>() [2/3]

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

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

◆ operator>() [3/3]

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

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

◆ operator>=() [1/3]

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

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

◆ operator>=() [2/3]

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

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

◆ operator>=() [3/3]

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

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

◆ Post()

virtual void Post ( )
inlinevirtual

◆ ResetActionOnFail()

void ResetActionOnFail ( )
inlineinherited

Definition at line 72 of file PropagationBaseObject.cs.

◆ SetName()

void SetName ( string  name)
inlineinherited

Definition at line 85 of file PropagationBaseObject.cs.

◆ SetVariableToCleanOnFail()

void SetVariableToCleanOnFail ( IntVar  v)
inlineinherited

Definition at line 76 of file PropagationBaseObject.cs.

◆ solver() [1/2]

Solver solver ( )
inherited

◆ solver() [2/2]

Solver solver ( )
inlineinherited

Definition at line 50 of file PropagationBaseObject.cs.

◆ Square()

IntExpr Square ( )
inline

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

◆ SwigDelegateConstraint_0()

delegate string SwigDelegateConstraint_0 ( )

◆ SwigDelegateConstraint_1()

delegate string SwigDelegateConstraint_1 ( )

◆ SwigDelegateConstraint_2()

delegate string SwigDelegateConstraint_2 ( )

◆ SwigDelegateConstraint_3()

delegate void SwigDelegateConstraint_3 ( )

◆ SwigDelegateConstraint_4()

delegate void SwigDelegateConstraint_4 ( )

◆ ToString()

override string ToString ( )
inlinevirtual

Reimplemented from BaseObject.

Reimplemented in NetConstraint, Pack, and GlobalVehicleBreaksConstraint.

Definition at line 54 of file constraint_solver/Constraint.cs.

◆ UnfreezeQueue()

void UnfreezeQueue ( )
inlineinherited

Definition at line 60 of file PropagationBaseObject.cs.

◆ Var()

virtual IntVar Var ( )
inlinevirtual

Implements IConstraintWithStatus.

Definition at line 68 of file constraint_solver/Constraint.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: