PPL  1.2
Parma_Polyhedra_Library::Concrete_Expression_Type Member List

This is the complete list of members for Parma_Polyhedra_Library::Concrete_Expression_Type, including all inherited members.

bounded_integer(Bounded_Integer_Type_Width width, Bounded_Integer_Type_Representation representation, Bounded_Integer_Type_Overflow overflow)Parma_Polyhedra_Library::Concrete_Expression_Typeinlinestatic
bounded_integer_type_overflow() const Parma_Polyhedra_Library::Concrete_Expression_Typeinline
bounded_integer_type_representation() const Parma_Polyhedra_Library::Concrete_Expression_Typeinline
bounded_integer_type_width() const Parma_Polyhedra_Library::Concrete_Expression_Typeinline
floating_point(Floating_Point_Format format)Parma_Polyhedra_Library::Concrete_Expression_Typeinlinestatic
floating_point_format() const Parma_Polyhedra_Library::Concrete_Expression_Typeinline
is_bounded_integer() const Parma_Polyhedra_Library::Concrete_Expression_Typeinline
is_floating_point() const Parma_Polyhedra_Library::Concrete_Expression_Typeinline
OK() const Parma_Polyhedra_Library::Concrete_Expression_Type