status of fixed and set variables.
#include <fsvarstat.h>
Inheritance diagram for ABA_FSVARSTAT::
|
Free, SetToLowerBound, Set, SetToUpperBound,
FixedToLowerBound, Fixed, FixedToUpperBound }
The enumeration defining the different statuses of variables from the point of view of fixing and setting:.
This constructor initializes the status as Free.
This constructor initializes the status explicitely.
This constructor initializes the status explicitely to Fixed or Set.
This version of the function status() assigns a new status.
This version of the function status() can assign a new status also for the statuses Fixed and Set.
A version of status() for assigning the status of an other object of the class ABA_FSVARSTAT.
This version of value() assigns a new value of fixing or setting.
We say there is a contradiction between two status if they are fixed/set to different bounds or values. However, two statuses are not contradiction if one of them is “fixed” and the other one is “set”, if this fixing/setting refers to the same bound or value.
The output operator writes the status and, if the status is Fixed or Set, also its value on an output stream.
status of fixed and set variables.
Definition at line 49 of file fsvarstat.h.
The enumeration defining the different statuses of variables from the point of view of fixing and setting:.
Definition at line 65 of file fsvarstat.h.
This constructor initializes the status as Free.
Definition at line 227 of file fsvarstat.h.
This constructor initializes the status explicitely.
This constructor initializes the status explicitely to Fixed or Set.
This constructor makes a copy.
The status of fixing or setting.
Definition at line 233 of file fsvarstat.h.
This version of the function status() assigns a new status.
For specifying also a value in case of the statuses Fixed or Set the next version of this function can be use.
Definition at line 238 of file fsvarstat.h.
This version of the function status() can assign a new status also for the statuses Fixed and Set.
Definition at line 243 of file fsvarstat.h.
A version of status() for assigning the status of an other object of the class ABA_FSVARSTAT.
Definition at line 249 of file fsvarstat.h.
The value of fixing or setting if the variable has status Fixed or Set.
Definition at line 255 of file fsvarstat.h.
This version of value() assigns a new value of fixing or setting.
Definition at line 260 of file fsvarstat.h.
true If the status is FixedToLowerBound, Fixed, or FixedToUpperBound,
false otherwise.
true If the status is SetToLowerBound, Set, or SetToUpperBound,
false otherwise.
false If the status is Free,
true otherwise.
Definition at line 265 of file fsvarstat.h.
We say there is a contradiction between two status if they are fixed/set to different bounds or values. However, two statuses are not contradiction if one of them is “fixed” and the other one is “set”, if this fixing/setting refers to the same bound or value.
true If there is a contradiction between the status of this object and fsVarStat,
false otherwise.
Another version of the function contradiction().
true If there is a contradiction between the status of this object and (status, value),
false otherwise.
The output operator writes the status and, if the status is Fixed or Set, also its value on an output stream.
A reference to the output stream.
A pointer to the corresponding global object.
Definition at line 213 of file fsvarstat.h.
The status of the variable.
Definition at line 217 of file fsvarstat.h.
The value the variable is fixed/set to.
This member is only used for the statuses Fixed and Set.
Definition at line 223 of file fsvarstat.h.
The documentation for this class was generated from the following file: