Gecode::ViewTraceRecorder< View >::Slack Class Reference

Collection of slack values. More...

#include <trace-recorder.hpp>

Public Member Functions
SlackValue	initial (void) const
	Return initial slack value. More...
SlackValue	previous (void) const
	Return previous slack value. More...
SlackValue	current (void) const
	Return current slack value. More...

Protected Attributes
SlackValue	i
	The initial slack value. More...
SlackValue	p
	Slack value at previous event (fixpoint or init) More...
SlackValue	c
	Current slack value. More...

Detailed Description

template<class View>
class Gecode::ViewTraceRecorder< View >::Slack

Collection of slack values.

Definition at line 72 of file trace-recorder.hpp.

Member Function Documentation

initial()

template<class View >

ViewTraceRecorder< View >::SlackValue Gecode::ViewTraceRecorder< View >::Slack::initial ( void  ) const

inline

Return initial slack value.

Definition at line 222 of file trace-recorder.hpp.

previous()

template<class View >

ViewTraceRecorder< View >::SlackValue Gecode::ViewTraceRecorder< View >::Slack::previous ( void  ) const

inline

Return previous slack value.

Definition at line 227 of file trace-recorder.hpp.

current()

template<class View >

ViewTraceRecorder< View >::SlackValue Gecode::ViewTraceRecorder< View >::Slack::current ( void  ) const

inline

Return current slack value.

Definition at line 232 of file trace-recorder.hpp.

Member Data Documentation

i

template<class View>

SlackValue Gecode::ViewTraceRecorder< View >::Slack::i

protected

The initial slack value.

Definition at line 76 of file trace-recorder.hpp.

p

template<class View>

SlackValue Gecode::ViewTraceRecorder< View >::Slack::p

protected

Slack value at previous event (fixpoint or init)

Definition at line 78 of file trace-recorder.hpp.

c

template<class View>

SlackValue Gecode::ViewTraceRecorder< View >::Slack::c

protected

Current slack value.

Definition at line 80 of file trace-recorder.hpp.

---

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

• gecode/kernel/trace-recorder.hpp (Revision: 15597)