Choice More...
Public Member Functions | |
Choice (const Brancher &b, unsigned int a, int pos0, int val0) | |
virtual void | archive (Archive &e) const |
Archive into e. | |
![]() | |
unsigned int | alternatives (void) const |
Return number of alternatives. | |
virtual | ~Choice (void) |
Destructor. | |
Public Attributes | |
int | pos |
Position of variable. | |
int | val |
Value of variable. | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
![]() | |
Choice (const Brancher &b, const unsigned int a) | |
Initialize for particular brancher b and alternatives a. | |
Choice
Definition at line 356 of file steel-mill.cpp.
|
inline |
Initialize choice for brancher b, number of alternatives a, position pos0, and value val0.
Definition at line 365 of file steel-mill.cpp.
|
inlinevirtual |
int SteelMill::SteelMillBranch::Choice::pos |
Position of variable.
Definition at line 359 of file steel-mill.cpp.
int SteelMill::SteelMillBranch::Choice::val |
Value of variable.
Definition at line 361 of file steel-mill.cpp.