StressExtensional Class Reference
[Scripts for stress tests]
Example: Stress extensional propagator More...
Public Types | |
typedef Support::DynamicArray < DFA::Transition, Heap > | Transitions |
Type definition as abbreviation. | |
Public Member Functions | |
void | permute (int i_state, int i, int n, int p, Transitions &t, int &n_t, int &n_state) |
Create all states for permutation of symbols. | |
DFA | construct (int n) |
Construct a distinct DFA for n values. | |
StressExtensional (const SizeOptions &opt) | |
The actual problem. | |
StressExtensional (bool share, StressExtensional &s) | |
Constructor for cloning s. | |
virtual Space * | copy (bool share) |
Perform copying during cloning. | |
virtual void | print (std::ostream &os) const |
Print solution. | |
Protected Attributes | |
IntVarArray | x |
Variables. |
Detailed Description
Example: Stress extensional propagator
Creates a huge DFA specifying that all values are pairwise distinct and use the DFA for propagation.
Definition at line 51 of file stress-extensional.cpp.
Member Typedef Documentation
Type definition as abbreviation.
Definition at line 57 of file stress-extensional.cpp.
Constructor & Destructor Documentation
StressExtensional::StressExtensional | ( | const SizeOptions & | opt | ) | [inline] |
The actual problem.
Definition at line 95 of file stress-extensional.cpp.
StressExtensional::StressExtensional | ( | bool | share, | |
StressExtensional & | s | |||
) | [inline] |
Constructor for cloning s.
Definition at line 109 of file stress-extensional.cpp.
Member Function Documentation
void StressExtensional::permute | ( | int | i_state, | |
int | i, | |||
int | n, | |||
int | p, | |||
Transitions & | t, | |||
int & | n_t, | |||
int & | n_state | |||
) | [inline] |
Create all states for permutation of symbols.
Definition at line 60 of file stress-extensional.cpp.
DFA StressExtensional::construct | ( | int | n | ) | [inline] |
Construct a distinct DFA for n values.
Definition at line 84 of file stress-extensional.cpp.
virtual Space* StressExtensional::copy | ( | bool | share | ) | [inline, virtual] |
Perform copying during cloning.
Implements Gecode::Space.
Definition at line 114 of file stress-extensional.cpp.
virtual void StressExtensional::print | ( | std::ostream & | os | ) | const [inline, virtual] |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< Space >.
Definition at line 119 of file stress-extensional.cpp.
Member Data Documentation
IntVarArray StressExtensional::x [protected] |
Variables.
Definition at line 54 of file stress-extensional.cpp.
The documentation for this class was generated from the following file: