Functions
bool	propagate_constraint_check_result (Result r, Ternary &open)

Variables
const char *	empty_up_to_date = "EUP"

const char *	empty = "EM"

const char *	universe = "UN"

const char	yes = '+'

const char	no = '-'

const char	separator = ' '

Function Documentation

bool Parma_Polyhedra_Library::Implementation::Boxes::propagate_constraint_check_result	(	Result	r,
		Ternary &	open
	)

inline

Definition at line 2550 of file Box_templates.hh.

References Parma_Polyhedra_Library::result_relation_class(), Parma_Polyhedra_Library::T_MAYBE, Parma_Polyhedra_Library::T_NO, Parma_Polyhedra_Library::T_YES, Parma_Polyhedra_Library::V_EQ, Parma_Polyhedra_Library::V_GE, Parma_Polyhedra_Library::V_GT, Parma_Polyhedra_Library::V_GT_MINUS_INFINITY, Parma_Polyhedra_Library::V_LE, Parma_Polyhedra_Library::V_LT, and Parma_Polyhedra_Library::V_LT_PLUS_INFINITY.

Referenced by Parma_Polyhedra_Library::Box< ITV >::propagate_constraint_no_check().

                                                            {
   r = result_relation_class(r);
   switch (r) {
   case V_GT_MINUS_INFINITY:
   case V_LT_PLUS_INFINITY:
     return true;
   case V_LT:
   case V_GT:
     open = T_YES;
     return false;
   case V_LE:
   case V_GE:
     if (open == T_NO) {
       open = T_MAYBE;
     }
     return false;
   case V_EQ:
     return false;
   default:
     PPL_UNREACHABLE;
     return true;
   }
 }