DotNet Reference
.Net Reference
Detailed Description
Definition at line 142 of file NetDecisionBuilder.cs.
Public Member Functions | |
NetConstraint (Solver s) | |
override void | InitialPropagateWrapper () |
virtual void | InitialPropagate () |
override string | ToString () |
IntExpr | Abs () |
IntExpr | Square () |
Solver | solver () |
IntVar | Var () |
Constructor & Destructor Documentation
◆ NetConstraint()
|
inline |
Definition at line 144 of file NetDecisionBuilder.cs.
Member Function Documentation
◆ Abs()
|
inlineinherited |
Definition at line 505 of file constraint_solver/csharp/SolverHelper.cs.
◆ InitialPropagate()
|
inlinevirtual |
Definition at line 159 of file NetDecisionBuilder.cs.
◆ InitialPropagateWrapper()
|
inline |
Definition at line 148 of file NetDecisionBuilder.cs.
◆ operator IntExpr()
|
inlinestaticinherited |
Definition at line 457 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator IntVar()
|
inlinestaticinherited |
Definition at line 452 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator!=() [1/3]
|
inlinestaticinherited |
Definition at line 581 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator!=() [2/3]
|
inlinestaticinherited |
Definition at line 521 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator!=() [3/3]
|
inlinestaticinherited |
Definition at line 525 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator*() [1/3]
|
inlinestaticinherited |
Definition at line 485 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator*() [2/3]
|
inlinestaticinherited |
Definition at line 489 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator*() [3/3]
|
inlinestaticinherited |
Definition at line 493 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator+() [1/3]
|
inlinestaticinherited |
Definition at line 461 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator+() [2/3]
|
inlinestaticinherited |
Definition at line 465 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator+() [3/3]
|
inlinestaticinherited |
Definition at line 469 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator-() [1/4]
|
inlinestaticinherited |
Definition at line 501 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator-() [2/4]
|
inlinestaticinherited |
Definition at line 473 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator-() [3/4]
|
inlinestaticinherited |
Definition at line 477 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator-() [4/4]
|
inlinestaticinherited |
Definition at line 481 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator/()
|
inlinestaticinherited |
Definition at line 497 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator<() [1/3]
|
inlinestaticinherited |
Definition at line 573 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator<() [2/3]
|
inlinestaticinherited |
Definition at line 553 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator<() [3/3]
|
inlinestaticinherited |
Definition at line 557 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator<=() [1/3]
|
inlinestaticinherited |
Definition at line 569 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator<=() [2/3]
|
inlinestaticinherited |
Definition at line 545 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator<=() [3/3]
|
inlinestaticinherited |
Definition at line 549 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator==() [1/3]
|
inlinestaticinherited |
Definition at line 577 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator==() [2/3]
|
inlinestaticinherited |
Definition at line 513 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator==() [3/3]
|
inlinestaticinherited |
Definition at line 517 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator>() [1/3]
|
inlinestaticinherited |
Definition at line 565 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator>() [2/3]
|
inlinestaticinherited |
Definition at line 537 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator>() [3/3]
|
inlinestaticinherited |
Definition at line 541 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator>=() [1/3]
|
inlinestaticinherited |
Definition at line 561 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator>=() [2/3]
|
inlinestaticinherited |
Definition at line 529 of file constraint_solver/csharp/SolverHelper.cs.
◆ operator>=() [3/3]
|
inlinestaticinherited |
Definition at line 533 of file constraint_solver/csharp/SolverHelper.cs.
◆ solver()
|
inherited |
Implemented in BaseEquality, WrappedConstraint, IntExprEquality, and ConstraintEquality.
◆ Square()
|
inlineinherited |
Definition at line 509 of file constraint_solver/csharp/SolverHelper.cs.
◆ ToString()
|
inline |
Definition at line 162 of file NetDecisionBuilder.cs.
◆ Var()
|
inherited |
Implemented in BaseEquality, WrappedConstraint, IntExprEquality, and ConstraintEquality.
The documentation for this class was generated from the following file: