prestaf-automata.h File Reference

#include <ccl/ccl-hash.h>
#include <sataf/sataf.h>

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)

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