DotNet Reference

.Net Reference

Detailed Description

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

Public Member Functions

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

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inline

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

◆ operator IntExpr()

static implicit operator IntExpr ( Constraint  eq)
inlinestatic

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

◆ operator IntVar()

static implicit operator IntVar ( Constraint  eq)
inlinestatic

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

◆ operator!=() [1/3]

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

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

◆ operator!=() [2/3]

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

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

◆ operator!=() [3/3]

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

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

◆ operator*() [1/3]

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

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

◆ operator*() [2/3]

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

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

◆ operator*() [3/3]

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

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

◆ operator+() [1/3]

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

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

◆ operator+() [2/3]

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

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

◆ operator+() [3/3]

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

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

◆ operator-() [1/4]

static IntExpr operator- ( Constraint  a)
inlinestatic

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

◆ operator-() [2/4]

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

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

◆ operator-() [3/4]

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

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

◆ operator-() [4/4]

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

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

◆ operator/()

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

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

◆ operator<() [1/3]

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

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

◆ operator<() [2/3]

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

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

◆ operator<() [3/3]

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

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

◆ operator<=() [1/3]

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

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

◆ operator<=() [2/3]

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

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

◆ operator<=() [3/3]

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

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

◆ operator==() [1/3]

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

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

◆ operator==() [2/3]

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

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

◆ operator==() [3/3]

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

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

◆ operator>() [1/3]

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

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

◆ operator>() [2/3]

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

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

◆ operator>() [3/3]

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

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

◆ operator>=() [1/3]

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

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

◆ operator>=() [2/3]

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

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

◆ operator>=() [3/3]

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

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

◆ solver()

Solver solver ( )
inherited

◆ Square()

IntExpr Square ( )
inline

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

◆ Var()

IntVar Var ( )
inherited

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