DotNet Reference

DotNet Reference

NetConstraint

Detailed Description

Definition at line 138 of file NetDecisionBuilder.cs.

Public Member Functions

 NetConstraint (Solver s)
 
override void InitialPropagateWrapper ()
 
virtual void InitialPropagate ()
 
override string ToString ()
 
void Dispose ()
 
virtual void Post ()
 
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 ()
 
Solver solver ()
 
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 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)
 
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 WrappedConstraint operator== (Constraint a, long v)
 
static WrappedConstraint operator== (long v, Constraint a)
 
static ConstraintEquality operator== (Constraint a, Constraint b)
 
static WrappedConstraint operator!= (Constraint a, long v)
 
static WrappedConstraint operator!= (long v, Constraint a)
 
static ConstraintEquality operator!= (Constraint a, Constraint b)
 
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, long v)
 
static WrappedConstraint operator> (long v, Constraint a)
 
static WrappedConstraint operator> (Constraint a, Constraint b)
 
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, long v)
 
static WrappedConstraint operator< (long v, Constraint a)
 
static WrappedConstraint operator< (Constraint a, Constraint b)
 

Protected Member Functions

override void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Constructor & Destructor Documentation

◆ NetConstraint()

NetConstraint ( Solver  s)
inline

Definition at line 139 of file NetDecisionBuilder.cs.

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inlineinherited

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

◆ Accept()

virtual void Accept ( ModelVisitor  visitor)
inlinevirtualinherited

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

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

◆ InitialPropagate()

virtual void InitialPropagate ( )
inlinevirtual

Definition at line 148 of file NetDecisionBuilder.cs.

◆ InitialPropagateWrapper()

override void InitialPropagateWrapper ( )
inlinevirtual

Reimplemented from Constraint.

Definition at line 141 of file NetDecisionBuilder.cs.

◆ IsCastConstraint()

bool IsCastConstraint ( )
inlineinherited

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

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

◆ operator IntVar()

static implicit operator IntVar ( Constraint  eq)
inlinestaticinherited

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

◆ operator!=() [1/3]

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

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

◆ operator!=() [2/3]

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

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

◆ operator!=() [3/3]

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

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

◆ operator*() [1/3]

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

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

◆ operator*() [2/3]

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

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

◆ operator*() [3/3]

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

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

◆ operator+() [1/3]

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

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

◆ operator+() [2/3]

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

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

◆ operator+() [3/3]

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

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

◆ operator-() [1/4]

static IntExpr operator- ( Constraint  a)
inlinestaticinherited

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

◆ operator-() [2/4]

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

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

◆ operator-() [3/4]

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

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

◆ operator-() [4/4]

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

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

◆ operator/()

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

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

◆ operator<() [1/3]

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

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

◆ operator<() [2/3]

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

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

◆ operator<() [3/3]

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

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

◆ operator<=() [1/3]

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

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

◆ operator<=() [2/3]

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

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

◆ operator<=() [3/3]

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

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

◆ operator==() [1/3]

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

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

◆ operator==() [2/3]

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

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

◆ operator==() [3/3]

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

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

◆ operator>() [1/3]

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

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

◆ operator>() [2/3]

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

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

◆ operator>() [3/3]

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

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

◆ operator>=() [1/3]

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

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

◆ operator>=() [2/3]

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

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

◆ operator>=() [3/3]

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

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

◆ Post()

virtual void Post ( )
inlinevirtualinherited

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

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

◆ SwigDelegateConstraint_0()

delegate string SwigDelegateConstraint_0 ( )
inherited

◆ SwigDelegateConstraint_1()

delegate string SwigDelegateConstraint_1 ( )
inherited

◆ SwigDelegateConstraint_2()

delegate string SwigDelegateConstraint_2 ( )
inherited

◆ SwigDelegateConstraint_3()

delegate void SwigDelegateConstraint_3 ( )
inherited

◆ SwigDelegateConstraint_4()

delegate void SwigDelegateConstraint_4 ( )
inherited

◆ ToString()

override string ToString ( )
inlinevirtual

Reimplemented from Constraint.

Definition at line 149 of file NetDecisionBuilder.cs.

◆ UnfreezeQueue()

void UnfreezeQueue ( )
inlineinherited

Definition at line 60 of file PropagationBaseObject.cs.

◆ Var()

virtual IntVar Var ( )
inlinevirtualinherited

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