Constant Field Values

Contents

• apron.*
• gmp.*

apron.*

apron.Generator0

Modifier and Type	Constant Field	Value
public static final int	LINE	0
public static final int	LINEMOD	3
public static final int	RAY	1
public static final int	RAYMOD	4
public static final int	VERTEX	2

apron.Generator1

Modifier and Type	Constant Field	Value
public static final int	LINE	0
public static final int	LINEMOD	3
public static final int	RAY	1
public static final int	RAYMOD	4
public static final int	VERTEX	2

apron.Lincons0

Modifier and Type	Constant Field	Value
public static final int	DISEQ	4
public static final int	EQ	0
public static final int	EQMOD	3
public static final int	SUP	2
public static final int	SUPEQ	1

apron.Lincons1

Modifier and Type	Constant Field	Value
public static final int	DISEQ	4
public static final int	EQ	0
public static final int	EQMOD	3
public static final int	SUP	2
public static final int	SUPEQ	1

apron.Manager

Modifier and Type	Constant Field	Value
public static final int	FUNID_ADD_DIMENSIONS	43
public static final int	FUNID_ADD_RAY_ARRAY	38
public static final int	FUNID_APPROXIMATE	7
public static final int	FUNID_ASSIGN_LINEXPR_ARRAY	39
public static final int	FUNID_ASSIGN_TEXPR_ARRAY	41
public static final int	FUNID_BOTTOM	13
public static final int	FUNID_BOUND_DIMENSION	25
public static final int	FUNID_BOUND_LINEXPR	26
public static final int	FUNID_BOUND_TEXPR	27
public static final int	FUNID_CANONICALIZE	5
public static final int	FUNID_CLOSURE	50
public static final int	FUNID_COPY	1
public static final int	FUNID_DESERIALIZE_RAW	12
public static final int	FUNID_DIMENSION	16
public static final int	FUNID_EXPAND	47
public static final int	FUNID_FDUMP	10
public static final int	FUNID_FOLD	48
public static final int	FUNID_FORGET_ARRAY	46
public static final int	FUNID_FPRINT	8
public static final int	FUNID_FPRINTDIFF	9
public static final int	FUNID_FREE	2
public static final int	FUNID_HASH	6
public static final int	FUNID_IS_BOTTOM	17
public static final int	FUNID_IS_DIMENSION_UNCONSTRAINED	21
public static final int	FUNID_IS_EQ	20
public static final int	FUNID_IS_LEQ	19
public static final int	FUNID_IS_TOP	18
public static final int	FUNID_JOIN	36
public static final int	FUNID_JOIN_ARRAY	37
public static final int	FUNID_MEET	32
public static final int	FUNID_MEET_ARRAY	33
public static final int	FUNID_MEET_LINCONS_ARRAY	34
public static final int	FUNID_MEET_TCONS_ARRAY	35
public static final int	FUNID_MINIMIZE	4
public static final int	FUNID_OF_BOX	15
public static final int	FUNID_PERMUTE_DIMENSIONS	45
public static final int	FUNID_REMOVE_DIMENSIONS	44
public static final int	FUNID_SAT_INTERVAL	22
public static final int	FUNID_SAT_LINCONS	23
public static final int	FUNID_SAT_TCONS	24
public static final int	FUNID_SERIALIZE_RAW	11
public static final int	FUNID_SIZE	3
public static final int	FUNID_SUBSTITUTE_LINEXPR_ARRAY	40
public static final int	FUNID_SUBSTITUTE_TEXPR_ARRAY	42
public static final int	FUNID_TO_BOX	28
public static final int	FUNID_TO_GENERATOR_ARRAY	31
public static final int	FUNID_TO_LINCONS_ARRAY	29
public static final int	FUNID_TO_TCONS_ARRAY	30
public static final int	FUNID_TOP	14
public static final int	FUNID_WIDENING	49
public static final int	SCALAR_DOUBLE	0
public static final int	SCALAR_MPFR	2
public static final int	SCALAR_MPQ	1

apron.Tcons0

Modifier and Type	Constant Field	Value
public static final int	DISEQ	4
public static final int	EQ	0
public static final int	EQMOD	3
public static final int	SUP	2
public static final int	SUPEQ	1

apron.Tcons1

Modifier and Type	Constant Field	Value
public static final int	DISEQ	4
public static final int	EQ	0
public static final int	EQMOD	3
public static final int	SUP	2
public static final int	SUPEQ	1

apron.Texpr0BinNode

Modifier and Type	Constant Field	Value
public static final int	OP_ADD	0
public static final int	OP_DIV	3
public static final int	OP_MOD	4
public static final int	OP_MUL	2
public static final int	OP_POW	5
public static final int	OP_SUB	1

apron.Texpr0Node

Modifier and Type	Constant Field	Value
public static final int	RDIR_DOWN	3
public static final int	RDIR_NEAREST	0
public static final int	RDIR_RND	4
public static final int	RDIR_UP	2
public static final int	RDIR_ZERO	1
public static final int	RTYPE_DOUBLE	3
public static final int	RTYPE_EXTENDED	4
public static final int	RTYPE_INT	1
public static final int	RTYPE_QUAD	5
public static final int	RTYPE_REAL	0
public static final int	RTYPE_SINGLE	2

apron.Texpr0UnNode

Modifier and Type	Constant Field	Value
public static final int	OP_CAST	7
public static final int	OP_NEG	6
public static final int	OP_SQRT	8

apron.Texpr1BinNode

Modifier and Type	Constant Field	Value
public static final int	OP_ADD	0
public static final int	OP_DIV	3
public static final int	OP_MOD	4
public static final int	OP_MUL	2
public static final int	OP_POW	5
public static final int	OP_SUB	1

apron.Texpr1Node

Modifier and Type	Constant Field	Value
public static final int	RDIR_DOWN	3
public static final int	RDIR_NEAREST	0
public static final int	RDIR_RND	4
public static final int	RDIR_UP	2
public static final int	RDIR_ZERO	1
public static final int	RTYPE_DOUBLE	3
public static final int	RTYPE_EXTENDED	4
public static final int	RTYPE_INT	1
public static final int	RTYPE_QUAD	5
public static final int	RTYPE_REAL	0
public static final int	RTYPE_SINGLE	2

apron.Texpr1UnNode

Modifier and Type	Constant Field	Value
public static final int	OP_CAST	7
public static final int	OP_NEG	6
public static final int	OP_SQRT	8

gmp.*

gmp.Mpfr

Modifier and Type	Constant Field	Value
public static final int	RNDD	3
public static final int	RNDN	0
public static final int	RNDU	2
public static final int	RNDZ	1

gmp.Mpz

Modifier and Type	Constant Field	Value
public static final int	infinite	-1