TaPAS  0.2
Functions
prestaf-automata.h File Reference
#include <ccl/ccl-hash.h>
#include <sataf/sataf.h>

Go to the source code of this file.

Functions

sataf_maoprestaf_crt_linear_constraint_automaton (int type, const int *alpha, int alpha_size, int b)
 

Function Documentation

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 { =, >, >=, <, <= }