| Generated on: Thu Mar 29 07:46:58 PDT 2012 for custom file set | ||
|
||

Public Member Functions | |
| virtual | ~ArithmeticConstraint () |
| const vector< int > & | vars () const |
| virtual bool | Propagate (BoundsStore *const store)=0 |
| virtual void | Replace (int to_replace, int var, int64 offset)=0 |
| virtual bool | Deduce (ArithmeticPropagator *const propagator) const =0 |
| virtual string | DebugString () const =0 |
Definition at line 131 of file global_arith.cc.
| virtual operations_research::ArithmeticConstraint::~ArithmeticConstraint | ( | ) | [inline, virtual] |
Definition at line 133 of file global_arith.cc.
| const vector<int>& operations_research::ArithmeticConstraint::vars | ( | ) | const [inline] |
Definition at line 135 of file global_arith.cc.
| virtual bool operations_research::ArithmeticConstraint::Propagate | ( | BoundsStore *const | store | ) | [pure virtual] |
Implemented in operations_research::RowConstraint, and operations_research::OrConstraint.
| virtual void operations_research::ArithmeticConstraint::Replace | ( | int | to_replace, | |
| int | var, | |||
| int64 | offset | |||
| ) | [pure virtual] |
Implemented in operations_research::RowConstraint, and operations_research::OrConstraint.
| virtual bool operations_research::ArithmeticConstraint::Deduce | ( | ArithmeticPropagator *const | propagator | ) | const [pure virtual] |
Implemented in operations_research::RowConstraint, and operations_research::OrConstraint.
| virtual string operations_research::ArithmeticConstraint::DebugString | ( | ) | const [pure virtual] |
Implemented in operations_research::RowConstraint, and operations_research::OrConstraint.