#include <ppl-config.h>
#include "Polyhedron.defs.hh"
#include <iostream>
#include <string>
#include <cassert>
Go to the source code of this file.
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" |
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::Status::ascii_dump(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_load(), drop_redundant_inequalities(), Parma_Polyhedra_Library::Grid_Generator_System::empty(), Parma_Polyhedra_Library::Polyhedron::intersection_assign_and_minimize(), Parma_Polyhedra_Library::Grid::minimize(), Parma_Polyhedra_Library::Polyhedron::OK(), 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(), and Parma_Polyhedra_Library::Polyhedron::generators().