#include <ppl-config.h>
#include "Linear_Row.defs.hh"
#include "Coefficient.defs.hh"
#include <algorithm>
#include <iostream>
Go to the source code of this file.
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} |
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().