StressExtensional Class Reference
[Scripts for stress tests]

Inherits Example.

List of all members.

---

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 49 of file stress-extensional.cc.

Public Types
typedef Support::DynamicArray < DFA::Transition >	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)
	Print solution.
Protected Attributes
IntVarArray	x
	Variables.

---

Member Typedef Documentation

typedef Support::DynamicArray<DFA::Transition> StressExtensional::Transitions

Type definition as abbreviation.

Definition at line 55 of file stress-extensional.cc.

---

Constructor & Destructor Documentation

StressExtensional::StressExtensional

(

const SizeOptions &

opt

)

[inline]

The actual problem.

Definition at line 93 of file stress-extensional.cc.

StressExtensional::StressExtensional	(	bool	share,
		StressExtensional &	s
	)			[inline]

Constructor for cloning s.

Definition at line 107 of file stress-extensional.cc.

---

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 58 of file stress-extensional.cc.

DFA StressExtensional::construct

(

int

n

)

[inline]

Construct a distinct DFA for n values.

Definition at line 82 of file stress-extensional.cc.

virtual Space* StressExtensional::copy

(

bool

share

)

[inline, virtual]

Perform copying during cloning.

Implements Gecode::Space.

Definition at line 112 of file stress-extensional.cc.

virtual void StressExtensional::print

(

std::ostream &

os

)

[inline, virtual]

Print solution.

Reimplemented from Example.

Definition at line 117 of file stress-extensional.cc.

---

Member Data Documentation

IntVarArray StressExtensional::x [protected]

Variables.

Definition at line 52 of file stress-extensional.cc.

---

The documentation for this class was generated from the following file:

• examples/stress-extensional.cc (Revision: 5524)