|
Class Summary |
| BinaryBound |
Bound for a binary variable in {0,1}. |
| Bound |
Bound indicating the type of a variable. |
| Expression |
Linear expression of the form c + c1 * x1 + c2 * x2 + ... + cN * xN |
| FreeBound |
Bound for a real variable. |
| Inequation |
Inequation of the form: expression type 0. |
| IntBound |
Bound for an integer variable with an upper bound. |
| MILPHelper |
Manager of a MILP problem, storing the inequations and calling an external
MILP semantics. |
| ShowVariablesHelper |
Manages variables shown to the user. |
| Solution |
Solution to some query over a fuzzy KB. |
| Term |
Term, a pair (coefficiente, variable) |
| UpperBound |
Upper bound for a real variable. |
| Variable |
Variable. |