external_memory_in_bytes() const | Parma_Polyhedra_Library::Variable | [inline] |
get_output_function() | Parma_Polyhedra_Library::Variable | [inline, static] |
id() const | Parma_Polyhedra_Library::Variable | [inline] |
less(Variable v, Variable w) | Parma_Polyhedra_Library::Variable | [related] |
max_space_dimension() | Parma_Polyhedra_Library::Variable | [inline, static] |
OK() const | Parma_Polyhedra_Library::Variable | |
operator<<(std::ostream &s, const Variable &v) | Parma_Polyhedra_Library::Variable | [related] |
output_function_type(std::ostream &s, const Variable &v) | Parma_Polyhedra_Library::Variable | |
set_output_function(output_function_type *p) | Parma_Polyhedra_Library::Variable | [inline, static] |
space_dimension() const | Parma_Polyhedra_Library::Variable | [inline] |
total_memory_in_bytes() const | Parma_Polyhedra_Library::Variable | [inline] |
Variable(dimension_type i) | Parma_Polyhedra_Library::Variable | [inline, explicit] |