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.