DotNet Reference

.Net Reference

Detailed Description

Definition at line 207 of file ValCstPair.cs.

Public Member Functions

 IntExprEquality (IntExpr a, IntExpr b, bool equality)
 
override IntVar Var ()
 
override Solver solver ()
 
IntExpr Abs ()
 
IntExpr Square ()
 

Static Public Member Functions

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

Constructor & Destructor Documentation

◆ IntExprEquality()

IntExprEquality ( IntExpr  a,
IntExpr  b,
bool  equality 
)
inline

Definition at line 209 of file ValCstPair.cs.

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inlineinherited

Definition at line 74 of file ValCstPair.cs.

◆ operator Constraint()

static implicit operator Constraint ( IntExprEquality  eq)
inlinestatic

Definition at line 237 of file ValCstPair.cs.

◆ operator false()

static bool operator false ( IntExprEquality  eq)
inlinestatic

Definition at line 232 of file ValCstPair.cs.

◆ operator IntExpr()

static implicit operator IntExpr ( IntExprEquality  eq)
inlinestatic

Definition at line 253 of file ValCstPair.cs.

◆ operator IntVar()

static implicit operator IntVar ( IntExprEquality  eq)
inlinestatic

Definition at line 248 of file ValCstPair.cs.

◆ operator true()

static bool operator true ( IntExprEquality  eq)
inlinestatic

Definition at line 227 of file ValCstPair.cs.

◆ operator!=() [1/3]

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

Definition at line 150 of file ValCstPair.cs.

◆ operator!=() [2/3]

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

Definition at line 90 of file ValCstPair.cs.

◆ operator!=() [3/3]

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

Definition at line 94 of file ValCstPair.cs.

◆ operator*() [1/3]

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

Definition at line 54 of file ValCstPair.cs.

◆ operator*() [2/3]

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

Definition at line 58 of file ValCstPair.cs.

◆ operator*() [3/3]

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

Definition at line 62 of file ValCstPair.cs.

◆ operator+() [1/3]

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

Definition at line 30 of file ValCstPair.cs.

◆ operator+() [2/3]

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

Definition at line 34 of file ValCstPair.cs.

◆ operator+() [3/3]

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

Definition at line 38 of file ValCstPair.cs.

◆ operator-() [1/4]

static IntExpr operator- ( BaseEquality  a)
inlinestaticinherited

Definition at line 70 of file ValCstPair.cs.

◆ operator-() [2/4]

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

Definition at line 42 of file ValCstPair.cs.

◆ operator-() [3/4]

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

Definition at line 46 of file ValCstPair.cs.

◆ operator-() [4/4]

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

Definition at line 50 of file ValCstPair.cs.

◆ operator/()

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

Definition at line 66 of file ValCstPair.cs.

◆ operator<() [1/3]

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

Definition at line 142 of file ValCstPair.cs.

◆ operator<() [2/3]

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

Definition at line 122 of file ValCstPair.cs.

◆ operator<() [3/3]

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

Definition at line 126 of file ValCstPair.cs.

◆ operator<=() [1/3]

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

Definition at line 138 of file ValCstPair.cs.

◆ operator<=() [2/3]

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

Definition at line 114 of file ValCstPair.cs.

◆ operator<=() [3/3]

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

Definition at line 118 of file ValCstPair.cs.

◆ operator==() [1/3]

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

Definition at line 146 of file ValCstPair.cs.

◆ operator==() [2/3]

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

Definition at line 82 of file ValCstPair.cs.

◆ operator==() [3/3]

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

Definition at line 86 of file ValCstPair.cs.

◆ operator>() [1/3]

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

Definition at line 134 of file ValCstPair.cs.

◆ operator>() [2/3]

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

Definition at line 106 of file ValCstPair.cs.

◆ operator>() [3/3]

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

Definition at line 110 of file ValCstPair.cs.

◆ operator>=() [1/3]

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

Definition at line 130 of file ValCstPair.cs.

◆ operator>=() [2/3]

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

Definition at line 98 of file ValCstPair.cs.

◆ operator>=() [3/3]

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

Definition at line 102 of file ValCstPair.cs.

◆ solver()

override Solver solver ( )
inlinevirtual

Implements BaseEquality.

Definition at line 258 of file ValCstPair.cs.

◆ Square()

IntExpr Square ( )
inlineinherited

Definition at line 78 of file ValCstPair.cs.

◆ Var()

override IntVar Var ( )
inlinevirtual

Implements BaseEquality.

Definition at line 242 of file ValCstPair.cs.


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