PPL
0.12.1
|
bounded_integer(Bounded_Integer_Type_Width width, Bounded_Integer_Type_Representation representation, Bounded_Integer_Type_Overflow overflow) | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline, static] |
bounded_integer_type_overflow() const | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline] |
bounded_integer_type_representation() const | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline] |
bounded_integer_type_width() const | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline] |
floating_point(Floating_Point_Format format) | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline, static] |
floating_point_format() const | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline] |
is_bounded_integer() const | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline] |
is_floating_point() const | Parma_Polyhedra_Library::Concrete_Expression_Type | [inline] |
OK() const | Parma_Polyhedra_Library::Concrete_Expression_Type |