HQ |
Polyhedra |
Octagons |
Unions |
Omega |
Intervals |
BDDs |
HQSet |
Polyhedron |
Octagon |
Union |
Pres. formula |
Interval |
BDD |
HQSysCon |
ConSys |
NA |
ConSys |
Pres. formula |
NA |
NA |
HQConstraint |
Constraint |
Oct_elem |
Constraint |
Constraint |
NA |
NA |
HQSysGen |
GenSys |
NA |
GenSys |
NA |
NA |
NA |
HQGenerator |
Generator |
NA |
Generator |
NA |
NA |
NA |
HQVariable |
Variable |
Var_t |
Variable |
Variable_ID |
Variable |
Variable |
HQExpression |
Expression |
tab |
Expression |
Relation |
Expression |
Expression |
HQDimension |
Dimension |
Number |
Dimension |
Variable_ID |
Variable_ID |
NA |
|