DotNet Reference

DotNet Reference

BaseEqualityabstract

Detailed Description

Definition at line 25 of file ValCstPair.cs.

Public Member Functions

abstract Solver solver ()
 
abstract IntVar Var ()
 
IntExpr Abs ()
 
IntExpr Square ()
 

Static Public Member Functions

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, BaseEquality b)
 
static IntExpr operator* (BaseEquality a, long v)
 
static IntExpr operator* (long v, BaseEquality a)
 
static IntExpr operator/ (BaseEquality a, long v)
 
static IntExpr operator- (BaseEquality a)
 
static WrappedConstraint operator== (BaseEquality a, long v)
 
static WrappedConstraint operator== (long v, BaseEquality a)
 
static WrappedConstraint operator!= (BaseEquality a, long v)
 
static WrappedConstraint operator!= (long v, BaseEquality a)
 
static WrappedConstraint operator>= (BaseEquality a, long v)
 
static WrappedConstraint operator>= (long v, BaseEquality a)
 
static WrappedConstraint operator> (BaseEquality a, long v)
 
static WrappedConstraint operator> (long v, BaseEquality a)
 
static WrappedConstraint operator<= (BaseEquality a, long v)
 
static WrappedConstraint operator<= (long v, BaseEquality a)
 
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, BaseEquality b)
 
static WrappedConstraint operator<= (BaseEquality a, BaseEquality b)
 
static WrappedConstraint operator< (BaseEquality a, BaseEquality b)
 
static ConstraintEquality operator== (BaseEquality a, BaseEquality b)
 
static ConstraintEquality operator!= (BaseEquality a, BaseEquality b)
 

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inline

Definition at line 63 of file ValCstPair.cs.

◆ operator!=() [1/3]

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

Definition at line 121 of file ValCstPair.cs.

◆ operator!=() [2/3]

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

Definition at line 75 of file ValCstPair.cs.

◆ operator!=() [3/3]

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

Definition at line 78 of file ValCstPair.cs.

◆ operator*() [1/3]

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

Definition at line 48 of file ValCstPair.cs.

◆ operator*() [2/3]

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

Definition at line 51 of file ValCstPair.cs.

◆ operator*() [3/3]

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

Definition at line 54 of file ValCstPair.cs.

◆ operator+() [1/3]

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

Definition at line 30 of file ValCstPair.cs.

◆ operator+() [2/3]

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

Definition at line 33 of file ValCstPair.cs.

◆ operator+() [3/3]

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

Definition at line 36 of file ValCstPair.cs.

◆ operator-() [1/4]

static IntExpr operator- ( BaseEquality  a)
inlinestatic

Definition at line 60 of file ValCstPair.cs.

◆ operator-() [2/4]

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

Definition at line 39 of file ValCstPair.cs.

◆ operator-() [3/4]

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

Definition at line 42 of file ValCstPair.cs.

◆ operator-() [4/4]

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

Definition at line 45 of file ValCstPair.cs.

◆ operator/()

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

Definition at line 57 of file ValCstPair.cs.

◆ operator<() [1/3]

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

Definition at line 115 of file ValCstPair.cs.

◆ operator<() [2/3]

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

Definition at line 99 of file ValCstPair.cs.

◆ operator<() [3/3]

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

Definition at line 102 of file ValCstPair.cs.

◆ operator<=() [1/3]

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

Definition at line 112 of file ValCstPair.cs.

◆ operator<=() [2/3]

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

Definition at line 93 of file ValCstPair.cs.

◆ operator<=() [3/3]

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

Definition at line 96 of file ValCstPair.cs.

◆ operator==() [1/3]

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

Definition at line 118 of file ValCstPair.cs.

◆ operator==() [2/3]

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

Definition at line 69 of file ValCstPair.cs.

◆ operator==() [3/3]

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

Definition at line 72 of file ValCstPair.cs.

◆ operator>() [1/3]

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

Definition at line 109 of file ValCstPair.cs.

◆ operator>() [2/3]

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

Definition at line 87 of file ValCstPair.cs.

◆ operator>() [3/3]

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

Definition at line 90 of file ValCstPair.cs.

◆ operator>=() [1/3]

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

Definition at line 105 of file ValCstPair.cs.

◆ operator>=() [2/3]

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

Definition at line 81 of file ValCstPair.cs.

◆ operator>=() [3/3]

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

Definition at line 84 of file ValCstPair.cs.

◆ solver()

abstract Solver solver ( )
pure virtual

◆ Square()

IntExpr Square ( )
inline

Definition at line 66 of file ValCstPair.cs.

◆ Var()

abstract IntVar Var ( )
pure virtual

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