DotNet Reference
DotNet Reference
ValCstPair.cs
static IntExpr operator*(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:48
IntExprEquality(IntExpr a, IntExpr b, bool equality)
Definition: ValCstPair.cs:175
abstract IntVar Var()
IntExpr MakeProd(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:575
IntExpr MakeAbs(IntExpr expr)
Definition: constraint_solver/Solver.cs:599
WrappedConstraint(bool val)
Definition: ValCstPair.cs:134
static WrappedConstraint operator>(BaseEquality a, long v)
Definition: ValCstPair.cs:87
Definition: Assignment.cs:11
static WrappedConstraint operator!=(BaseEquality a, long v)
Definition: ValCstPair.cs:75
WrappedConstraint(bool val, Constraint cst)
Definition: ValCstPair.cs:136
static IntExpr operator-(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:39
Constraint MakeLess(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:1000
Constraint MakeGreaterOrEqual(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:916
Constraint MakeEquality(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:790
static IntExpr operator*(long v, BaseEquality a)
Definition: ValCstPair.cs:54
Constraint MakeGreater(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:958
IntExpr MakeSquare(IntExpr expr)
Definition: constraint_solver/Solver.cs:605
static IntExpr operator-(BaseEquality a)
Definition: ValCstPair.cs:60
static WrappedConstraint operator<(BaseEquality a, long v)
Definition: ValCstPair.cs:99
virtual IntVar Var()
Definition: constraint_solver/Constraint.cs:68
static WrappedConstraint operator>=(BaseEquality a, long v)
Definition: ValCstPair.cs:81
override Solver solver()
Definition: ValCstPair.cs:291
static IntExpr operator-(long v, BaseEquality a)
Definition: ValCstPair.cs:45
Solver solver()
IntExpr MakeSum(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:524
static IntExpr operator-(BaseEquality a, long v)
Definition: ValCstPair.cs:42
IntVar MakeIsDifferentVar(IntExpr v1, IntExpr v2)
Definition: constraint_solver/Solver.cs:820
Constraint MakeLessOrEqual(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:874
override IntVar Var()
Definition: ValCstPair.cs:167
override Solver solver()
Definition: ValCstPair.cs:162
override Solver solver()
Definition: ValCstPair.cs:226
static IntExpr operator+(BaseEquality a, BaseEquality b)
Definition: ValCstPair.cs:30
IntExpr MakeOpposite(IntExpr expr)
Definition: constraint_solver/Solver.cs:569
static IntExpr operator+(BaseEquality a, long v)
Definition: ValCstPair.cs:33
IntExpr MakeDifference(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:557
static WrappedConstraint operator<=(BaseEquality a, long v)
Definition: ValCstPair.cs:93
Constraint MakeNonEquality(IntExpr left, IntExpr right)
Definition: constraint_solver/Solver.cs:832
static IntExpr operator*(BaseEquality a, long v)
Definition: ValCstPair.cs:51
static WrappedConstraint operator==(BaseEquality a, long v)
Definition: ValCstPair.cs:69
abstract Solver solver()
static IntExpr operator+(long v, BaseEquality a)
Definition: ValCstPair.cs:36
Solver solver()
Definition: PropagationBaseObject.cs:50
static IntExpr operator/(BaseEquality a, long v)
Definition: ValCstPair.cs:57
override IntVar Var()
Definition: ValCstPair.cs:274
override IntVar Var()
Definition: ValCstPair.cs:209
IntVar MakeIsEqualVar(IntExpr v1, IntExpr v2)
Definition: constraint_solver/Solver.cs:784
IntExpr MakeDiv(IntExpr expr, long value)
Definition: constraint_solver/Solver.cs:587
WrappedConstraint(Constraint cst)
Definition: ValCstPair.cs:132
ConstraintEquality(IConstraintWithStatus a, IConstraintWithStatus b, bool equality)
Definition: ValCstPair.cs:238