apron::infty Struct Reference

Either +oo or -oo, to simplify initialisations and assignments. More...

#include <apxx_scalar.hh>

Public Member Functions
	infty (int sgn=1)

Public Attributes
int	sgn
	Sign: >0 for +oo, <0 for -oo.

Detailed Description

Either +oo or -oo, to simplify initialisations and assignments.

Constructor & Destructor Documentation

infty()

apron::infty::infty ( int sgn = 1 )

inline

• sgn: >0 for +oo, <0 for -oo.

Member Data Documentation

sgn

int apron::infty::sgn

Sign: >0 for +oo, <0 for -oo.

---

The documentation for this struct was generated from the following file:

• /home/mine/apron/apronxx/apxx_scalar.hh