DotNet Reference

.Net Reference

Detailed Description

Definition at line 142 of file NetDecisionBuilder.cs.

Public Member Functions

 NetConstraint (Solver s)
 
override void InitialPropagateWrapper ()
 
virtual void InitialPropagate ()
 
override string ToString ()
 
IntExpr Abs ()
 
IntExpr Square ()
 
Solver solver ()
 
IntVar Var ()
 

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)
 

Constructor & Destructor Documentation

◆ NetConstraint()

NetConstraint ( Solver  s)
inline

Definition at line 144 of file NetDecisionBuilder.cs.

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inlineinherited

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

◆ InitialPropagate()

virtual void InitialPropagate ( )
inlinevirtual

Definition at line 159 of file NetDecisionBuilder.cs.

◆ InitialPropagateWrapper()

override void InitialPropagateWrapper ( )
inline

Definition at line 148 of file NetDecisionBuilder.cs.

◆ operator IntExpr()

static implicit operator IntExpr ( Constraint  eq)
inlinestaticinherited

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

◆ operator IntVar()

static implicit operator IntVar ( Constraint  eq)
inlinestaticinherited

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

◆ operator!=() [1/3]

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

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

◆ operator!=() [2/3]

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

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

◆ operator!=() [3/3]

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

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

◆ operator*() [1/3]

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

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

◆ operator*() [2/3]

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

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

◆ operator*() [3/3]

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

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

◆ operator+() [1/3]

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

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

◆ operator+() [2/3]

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

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

◆ operator+() [3/3]

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

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

◆ operator-() [1/4]

static IntExpr operator- ( Constraint  a)
inlinestaticinherited

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

◆ operator-() [2/4]

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

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

◆ operator-() [3/4]

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

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

◆ operator-() [4/4]

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

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

◆ operator/()

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

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

◆ operator<() [1/3]

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

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

◆ operator<() [2/3]

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

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

◆ operator<() [3/3]

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

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

◆ operator<=() [1/3]

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

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

◆ operator<=() [2/3]

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

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

◆ operator<=() [3/3]

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

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

◆ operator==() [1/3]

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

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

◆ operator==() [2/3]

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

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

◆ operator==() [3/3]

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

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

◆ operator>() [1/3]

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

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

◆ operator>() [2/3]

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

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

◆ operator>() [3/3]

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

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

◆ operator>=() [1/3]

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

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

◆ operator>=() [2/3]

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

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

◆ operator>=() [3/3]

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

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

◆ solver()

Solver solver ( )
inherited

◆ Square()

IntExpr Square ( )
inlineinherited

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

◆ ToString()

override string ToString ( )
inline

Definition at line 162 of file NetDecisionBuilder.cs.

◆ Var()

IntVar Var ( )
inherited

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