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: