#include <config.h>
#include "Linear_Row.defs.hh"
#include "Coefficient.defs.hh"
#include <algorithm>
#include <iostream>
Go to the source code of this file.
Functions | |
PPL_OUTPUT_DEFINITIONS_ASCII_ONLY (Linear_Row::Flags) | |
PPL_OUTPUT_DEFINITIONS_ASCII_ONLY (Linear_Row) | |
Variables | |
const char * | rpi_valid = "RPI_V" |
const char * | is_rpi = "RPI" |
const char * | nnc_valid = "NNC_V" |
const char * | is_nnc = "NNC" |
const char * | bit_names [] = {rpi_valid, is_rpi, nnc_valid, is_nnc} |
PPL_OUTPUT_DEFINITIONS_ASCII_ONLY | ( | Linear_Row | ) |
PPL_OUTPUT_DEFINITIONS_ASCII_ONLY | ( | Linear_Row::Flags | ) |
Definition at line 140 of file Linear_Row.cc.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_load().
const char* is_nnc = "NNC" [static] |
Definition at line 139 of file Linear_Row.cc.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_dump().
const char* is_rpi = "RPI" [static] |
Definition at line 137 of file Linear_Row.cc.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_dump().
const char* nnc_valid = "NNC_V" [static] |
Definition at line 138 of file Linear_Row.cc.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_dump().
const char* rpi_valid = "RPI_V" [static] |
Definition at line 136 of file Linear_Row.cc.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_dump().