| 
| MP_boolean  | operator<= (const MP_index_exp &e1, const MP_index_exp &e2) | 
|   | constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an expression. This is useful when combining index expressions.  More...
  | 
|   | 
| MP_boolean  | operator<= (const Constant &e1, const Constant &e2) | 
|   | constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing constants  More...
  | 
|   | 
Definition at line 99 of file MP_boolean.cpp.
 
  
  
      
        
          | flopc::Boolean_lessEq::Boolean_lessEq  | 
          ( | 
          const Constant &  | 
          e1,  | 
         
        
           | 
           | 
          const Constant &  | 
          e2  | 
         
        
           | 
          ) | 
           |  | 
         
       
   | 
  
inlineprivate   | 
  
 
 
  
  
      
        
          | bool Boolean_lessEq::evaluate  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
privatevirtual   | 
  
 
 
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an expression. This is useful when combining index expressions. 
- Parameters
 - 
  
    | e1 | is an index expression involving an MP_index  | 
    | e2 | second index expression 
- used in forming sets of tuples of index values, or subsets. 
 
 
 | 
  
   
- Todo:
 - improve this a bit?
 
The brief code below is a bit contrived, but the right hand side illustrate the utility of combining an index expression.  MP_index i; 
MP_index j; 
MP_boolean &b = (i+5)<=(j);  
Definition at line 165 of file MP_boolean.cpp.
 
 
constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing constants 
- Parameters
 - 
  
    | e1 | first constant expression  | 
    | e2 | second constant expression  | 
  
   
Definition at line 168 of file MP_boolean.cpp.
 
 
The documentation for this class was generated from the following file: