Parma_Polyhedra_Library::I_Constraint_Rel Struct Reference

#include <intervals_defs.hh>

Public Member Functions
	I_Constraint_Rel (Result r)
	I_Constraint_Rel (Relation_Symbol r)
	operator Result () const

Public Attributes
Result	rel

Detailed Description

Definition at line 381 of file intervals_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::I_Constraint_Rel::I_Constraint_Rel ( Result  r )

inline

Definition at line 383 of file intervals_defs.hh.

References Parma_Polyhedra_Library::result_relation_class().

    : rel(r) {
    PPL_ASSERT(result_relation_class(r) == r);
  }

Parma_Polyhedra_Library::I_Constraint_Rel::I_Constraint_Rel ( Relation_Symbol  r )

inline

Definition at line 387 of file intervals_defs.hh.

    : rel(static_cast<Result>(r)) {
  }

Member Function Documentation

Parma_Polyhedra_Library::I_Constraint_Rel::operator Result ( ) const

inline

Definition at line 390 of file intervals_defs.hh.

References rel.

                          {
    return rel;
  }

Member Data Documentation

Result Parma_Polyhedra_Library::I_Constraint_Rel::rel

Definition at line 382 of file intervals_defs.hh.

Referenced by operator Result().

---

The documentation for this struct was generated from the following file:

• intervals_defs.hh