Ph_Status.cc File Reference

#include <ppl-config.h>
#include "Polyhedron.defs.hh"
#include <iostream>
#include <string>
#include <cassert>

Include dependency graph for Ph_Status.cc:

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"


Variable Documentation

const char* consys_min = "CM" [static]

const char* consys_pending = "CP" [static]

const char* consys_upd = "CS" [static]

const char* empty = "EM" [static]

const char* gensys_min = "GM" [static]

const char* gensys_pending = "GP" [static]

const char* gensys_upd = "GS" [static]

const char* satc_upd = "SC" [static]

const char* satg_upd = "SG" [static]

const char* zero_dim_univ = "ZE" [static]


Generated on Sat Oct 11 10:40:34 2008 for PPL by  doxygen 1.5.6