DotNet Reference
.Net Reference
ValCstPair.cs
Go to the documentation of this file.
abstract Solver solver()
static IntExpr operator-(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:42
static WrappedConstraint operator>(BaseEquality a, long v)
Definition: ValCstPair.cs:106
static IntExpr operator*(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:54
static WrappedConstraint operator!=(BaseEquality a, long v)
Definition: ValCstPair.cs:90
static WrappedConstraint operator<(BaseEquality a, long v)
Definition: ValCstPair.cs:122
static IntExpr operator/(BaseEquality a, long v)
Definition: ValCstPair.cs:66
static WrappedConstraint operator<(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:142
abstract IntVar Var()
static IntExpr operator+(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:30
static WrappedConstraint operator>(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:134
static WrappedConstraint operator<=(BaseEquality a, long v)
Definition: ValCstPair.cs:114
static WrappedConstraint operator<(long v, BaseEquality a)
Definition: ValCstPair.cs:126
static WrappedConstraint operator>=(BaseEquality a, long v)
Definition: ValCstPair.cs:98
static WrappedConstraint operator>(long v, BaseEquality a)
Definition: ValCstPair.cs:110
static WrappedConstraint operator==(BaseEquality a, long v)
Definition: ValCstPair.cs:82
ConstraintEquality(IConstraintWithStatus a, IConstraintWithStatus b, bool equality)
Definition: ValCstPair.cs:270
override IntVar Var()
Definition: ValCstPair.cs:303
override Solver solver()
Definition: ValCstPair.cs:319
override IntVar Var()
Definition: ValCstPair.cs:242
IntExprEquality(IntExpr a, IntExpr b, bool equality)
Definition: ValCstPair.cs:209
override Solver solver()
Definition: ValCstPair.cs:258
WrappedConstraint(bool val, Constraint cst)
Definition: ValCstPair.cs:170
WrappedConstraint(bool val)
Definition: ValCstPair.cs:166
override IntVar Var()
Definition: ValCstPair.cs:201
override Solver solver()
Definition: ValCstPair.cs:196
WrappedConstraint(Constraint cst)
Definition: ValCstPair.cs:162
Solver solver()