DotNet Reference

.Net Reference

Detailed Description

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

Public Member Functions

IntExpr Abs ()
 
IntExpr Square ()
 

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, 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 IntExpr operator- (IntExpr a)
 
static IntExprEquality operator== (IntExpr a, IntExpr b)
 
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, long v)
 
static WrappedConstraint operator> (IntExpr a, long v)
 
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, IntExpr b)
 
static WrappedConstraint operator<= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator< (IntExpr a, IntExpr b)
 

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inline

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

◆ operator!=() [1/2]

static IntExprEquality operator!= ( IntExpr  a,
IntExpr  b 
)
inlinestatic

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

◆ operator!=() [2/2]

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

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

◆ operator%()

static IntExpr operator% ( IntExpr  a,
long  v 
)
inlinestatic

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

◆ operator*() [1/3]

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

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

◆ operator*() [2/3]

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

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

◆ operator*() [3/3]

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

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

◆ operator+() [1/3]

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

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

◆ operator+() [2/3]

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

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

◆ operator+() [3/3]

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

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

◆ operator-() [1/4]

static IntExpr operator- ( IntExpr  a)
inlinestatic

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

◆ operator-() [2/4]

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

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

◆ operator-() [3/4]

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

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

◆ operator-() [4/4]

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

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

◆ operator/()

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

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

◆ operator<() [1/2]

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

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

◆ operator<() [2/2]

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

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

◆ operator<=() [1/2]

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

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

◆ operator<=() [2/2]

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

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

◆ operator==() [1/2]

static IntExprEquality operator== ( IntExpr  a,
IntExpr  b 
)
inlinestatic

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

◆ operator==() [2/2]

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

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

◆ operator>() [1/2]

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

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

◆ operator>() [2/2]

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

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

◆ operator>=() [1/2]

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

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

◆ operator>=() [2/2]

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

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

◆ Square()

IntExpr Square ( )
inline

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


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