Generated on Thu Mar 16 2017 03:24:29 for Gecode by doxygen 1.8.13
Gecode::TraceRecorder< 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::TraceRecorder< View >::Slack

Collection of slack values.

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

Member Function Documentation

◆ initial()

template<class View >
TraceRecorder< View >::SlackValue Gecode::TraceRecorder< View >::Slack::initial ( void  ) const
inline

Return initial slack value.

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

◆ previous()

template<class View >
TraceRecorder< View >::SlackValue Gecode::TraceRecorder< View >::Slack::previous ( void  ) const
inline

Return previous slack value.

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

◆ current()

template<class View >
TraceRecorder< View >::SlackValue Gecode::TraceRecorder< View >::Slack::current ( void  ) const
inline

Return current slack value.

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

Member Data Documentation

◆ i

template<class View>
SlackValue Gecode::TraceRecorder< View >::Slack::i
protected

The initial slack value.

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

◆ p

template<class View>
SlackValue Gecode::TraceRecorder< View >::Slack::p
protected

Slack value at previous event (fixpoint or init)

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

◆ c

template<class View>
SlackValue Gecode::TraceRecorder< View >::Slack::c
protected

Current slack value.

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


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