| 
    FLOPC++
    
   | 
 


Private Member Functions | |
| Expression_minus (const MP_expression &e1, const MP_expression &e2) | |
| double | level () const | 
| void | generate (const MP_domain &domain, vector< Constant > multiplicators, GenerateFunctor &f, double m) const | 
Friends | |
| MP_expression | operator- (const MP_expression &e1, const MP_expression &e2) | 
| MP_expression | operator- (const MP_expression &e1, const Constant &e2) | 
| MP_expression | operator- (const Constant &e1, const MP_expression &e2) | 
Additional Inherited Members | |
  Public Member Functions inherited from flopc::Expression_operator | |
| Expression_operator (const MP_expression &e1, const MP_expression &e2) | |
| void | insertVariables (std::set< MP_variable * > &v) const | 
  Public Member Functions inherited from flopc::MP_expression_base | |
| MP_expression_base () | |
| virtual void | generate (const MP_domain &domain, std::vector< Constant > multiplicators, GenerateFunctor &f, double m) const =0 | 
| virtual | ~MP_expression_base () | 
  Protected Attributes inherited from flopc::Expression_operator | |
| MP_expression | left | 
| MP_expression | right | 
Definition at line 70 of file MP_expression.cpp.
      
  | 
  inlineprivate | 
Definition at line 75 of file MP_expression.cpp.
      
  | 
  inlineprivate | 
Definition at line 80 of file MP_expression.cpp.
      
  | 
  inlineprivatevirtual | 
Implements flopc::MP_expression_base.
Definition at line 77 of file MP_expression.cpp.
      
  | 
  friend | 
Operator which subtracts an MP_expression from an MP_expression, and forms a new MP_expression
Definition at line 153 of file MP_expression.cpp.
      
  | 
  friend | 
Operator which subtracts a Constant from an MP_expression, and forms a new MP_expression
Definition at line 157 of file MP_expression.cpp.
      
  | 
  friend | 
Operator which subtracts an MP_expression from a Constant, and forms a new MP_expression
Definition at line 161 of file MP_expression.cpp.
 1.8.5