#include <config.h>
#include "Polyhedron.defs.hh"
#include <iostream>
#include <string>
#include <cassert>
Go to the source code of this file.
Functions | |
PPL_OUTPUT_DEFINITIONS_ASCII_ONLY (Polyhedron::Status) | |
Variables | |
const char * | zero_dim_univ = "ZE" |
const char * | empty = "EM" |
const char * | consys_min = "CM" |
const char * | gensys_min = "GM" |
const char * | consys_upd = "CS" |
const char * | gensys_upd = "GS" |
const char * | satc_upd = "SC" |
const char * | satg_upd = "SG" |
const char * | consys_pending = "CP" |
const char * | gensys_pending = "GP" |
PPL_OUTPUT_DEFINITIONS_ASCII_ONLY | ( | Polyhedron::Status | ) |
const char* consys_min = "CM" [static] |
Definition at line 37 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* consys_pending = "CP" [static] |
Definition at line 43 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* consys_upd = "CS" [static] |
Definition at line 39 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* empty = "EM" [static] |
Definition at line 36 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::add_recycled_constraints_and_minimize(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_load(), Parma_Polyhedra_Library::Polyhedron::intersection_assign_and_minimize(), Parma_Polyhedra_Library::Grid::minimize(), Parma_Polyhedra_Library::Polyhedron::process_pending_constraints(), Parma_Polyhedra_Library::Polyhedron::simplify(), and Parma_Polyhedra_Library::Polyhedron::update_generators().
const char* gensys_min = "GM" [static] |
Definition at line 38 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* gensys_pending = "GP" [static] |
Definition at line 44 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* gensys_upd = "GS" [static] |
Definition at line 40 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* satc_upd = "SC" [static] |
Definition at line 41 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* satg_upd = "SG" [static] |
Definition at line 42 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().
const char* zero_dim_univ = "ZE" [static] |
Definition at line 35 of file Ph_Status.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_load(), Parma_Polyhedra_Library::Polyhedron::generators(), and ppl_new_Generator_System_zero_dim_univ().