DotNet Reference

DotNet Reference

WrappedConstraint

Detailed Description

Definition at line 126 of file ValCstPair.cs.

Public Member Functions

 WrappedConstraint (Constraint cst)
 
 WrappedConstraint (bool val)
 
 WrappedConstraint (bool val, Constraint cst)
 
override Solver solver ()
 
override IntVar Var ()
 
IntExpr Abs ()
 
IntExpr Square ()
 

Static Public Member Functions

static implicit operator bool (WrappedConstraint valCstPair)
 
static implicit operator Constraint (WrappedConstraint valCstPair)
 
static implicit operator IntVar (WrappedConstraint eq)
 
static implicit operator IntExpr (WrappedConstraint 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)
 

Properties

bool Val [get, set]
 
Constraint Cst [get, set]
 

Constructor & Destructor Documentation

◆ WrappedConstraint() [1/3]

WrappedConstraint ( Constraint  cst)
inline

Definition at line 132 of file ValCstPair.cs.

◆ WrappedConstraint() [2/3]

WrappedConstraint ( bool  val)
inline

Definition at line 134 of file ValCstPair.cs.

◆ WrappedConstraint() [3/3]

WrappedConstraint ( bool  val,
Constraint  cst 
)
inline

Definition at line 136 of file ValCstPair.cs.

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inlineinherited

Definition at line 63 of file ValCstPair.cs.

◆ operator bool()

static implicit operator bool ( WrappedConstraint  valCstPair)
inlinestatic

Definition at line 142 of file ValCstPair.cs.

◆ operator Constraint()

static implicit operator Constraint ( WrappedConstraint  valCstPair)
inlinestatic

Definition at line 147 of file ValCstPair.cs.

◆ operator IntExpr()

static implicit operator IntExpr ( WrappedConstraint  eq)
inlinestatic

Definition at line 157 of file ValCstPair.cs.

◆ operator IntVar()

static implicit operator IntVar ( WrappedConstraint  eq)
inlinestatic

Definition at line 152 of file ValCstPair.cs.

◆ operator!=() [1/3]

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

Definition at line 121 of file ValCstPair.cs.

◆ operator!=() [2/3]

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

Definition at line 75 of file ValCstPair.cs.

◆ operator!=() [3/3]

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

Definition at line 78 of file ValCstPair.cs.

◆ operator*() [1/3]

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

Definition at line 48 of file ValCstPair.cs.

◆ operator*() [2/3]

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

Definition at line 51 of file ValCstPair.cs.

◆ operator*() [3/3]

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

Definition at line 54 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 33 of file ValCstPair.cs.

◆ operator+() [3/3]

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

Definition at line 36 of file ValCstPair.cs.

◆ operator-() [1/4]

static IntExpr operator- ( BaseEquality  a)
inlinestaticinherited

Definition at line 60 of file ValCstPair.cs.

◆ operator-() [2/4]

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

Definition at line 39 of file ValCstPair.cs.

◆ operator-() [3/4]

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

Definition at line 42 of file ValCstPair.cs.

◆ operator-() [4/4]

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

Definition at line 45 of file ValCstPair.cs.

◆ operator/()

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

Definition at line 57 of file ValCstPair.cs.

◆ operator<() [1/3]

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

Definition at line 115 of file ValCstPair.cs.

◆ operator<() [2/3]

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

Definition at line 99 of file ValCstPair.cs.

◆ operator<() [3/3]

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

Definition at line 102 of file ValCstPair.cs.

◆ operator<=() [1/3]

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

Definition at line 112 of file ValCstPair.cs.

◆ operator<=() [2/3]

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

Definition at line 93 of file ValCstPair.cs.

◆ operator<=() [3/3]

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

Definition at line 96 of file ValCstPair.cs.

◆ operator==() [1/3]

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

Definition at line 118 of file ValCstPair.cs.

◆ operator==() [2/3]

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

Definition at line 69 of file ValCstPair.cs.

◆ operator==() [3/3]

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

Definition at line 72 of file ValCstPair.cs.

◆ operator>() [1/3]

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

Definition at line 109 of file ValCstPair.cs.

◆ operator>() [2/3]

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

Definition at line 87 of file ValCstPair.cs.

◆ operator>() [3/3]

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

Definition at line 90 of file ValCstPair.cs.

◆ operator>=() [1/3]

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

Definition at line 105 of file ValCstPair.cs.

◆ operator>=() [2/3]

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

Definition at line 81 of file ValCstPair.cs.

◆ operator>=() [3/3]

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

Definition at line 84 of file ValCstPair.cs.

◆ solver()

override Solver solver ( )
inlinevirtual

Implements BaseEquality.

Definition at line 162 of file ValCstPair.cs.

◆ Square()

IntExpr Square ( )
inlineinherited

Definition at line 66 of file ValCstPair.cs.

◆ Var()

override IntVar Var ( )
inlinevirtual

Implements BaseEquality.

Definition at line 167 of file ValCstPair.cs.

Property Documentation

◆ Cst

Constraint Cst
getset

Definition at line 130 of file ValCstPair.cs.

◆ Val

bool Val
getset

Definition at line 128 of file ValCstPair.cs.


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