| 
    TaPAS
    0.2
    
   | 
 
Go to the source code of this file.
Functions | |
| sataf_mao * | prestaf_crt_linear_constraint_automaton (int type, const int *alpha, int alpha_size, int b) | 
| sataf_mao* prestaf_crt_linear_constraint_automaton | ( | int | type, | 
| const int * | alpha, | ||
| int | alpha_size, | ||
| int | b | ||
| ) | 
Encode a.x op b with op in { =, >, >=, <, <= }
 1.8.5