|
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