|
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 |
|
