Psi4
Public Member Functions | Protected Attributes | List of all members
psi::detci::Odometer Class Reference

#include <odometer.h>

Public Member Functions

 Odometer ()
 
 Odometer (unsigned len)
 
 ~Odometer ()
 
void size (unsigned s)
 
void resize (unsigned s)
 
void set_max (int m)
 
void set_max_lex (int m)
 
void set_max (int *m)
 
void set_min (int m)
 
void set_min_lex (int m)
 
void set_min (int *m)
 
void set_value (int m)
 
void set_value (int *m)
 
void get_value (int *m)
 
void increment ()
 
void increment_lex ()
 
void reset ()
 
void print ()
 
unsigned at_max ()
 
unsigned at_min ()
 
unsigned get_length ()
 
unsigned boundscheck ()
 

Protected Attributes

unsigned length
 
int * max
 
int * min
 
int * value
 

Constructor & Destructor Documentation

psi::detci::Odometer::Odometer ( )
psi::detci::Odometer::Odometer ( unsigned  len)
inline
psi::detci::Odometer::~Odometer ( )

Member Function Documentation

unsigned psi::detci::Odometer::at_max ( )
unsigned psi::detci::Odometer::at_min ( )
unsigned psi::detci::Odometer::boundscheck ( )
unsigned psi::detci::Odometer::get_length ( )
inline
void psi::detci::Odometer::get_value ( int *  m)
void psi::detci::Odometer::increment ( )
void psi::detci::Odometer::increment_lex ( )
void psi::detci::Odometer::print ( )
void psi::detci::Odometer::reset ( )
void psi::detci::Odometer::resize ( unsigned  s)
void psi::detci::Odometer::set_max ( int  m)
void psi::detci::Odometer::set_max ( int *  m)
void psi::detci::Odometer::set_max_lex ( int  m)
void psi::detci::Odometer::set_min ( int  m)
void psi::detci::Odometer::set_min ( int *  m)
void psi::detci::Odometer::set_min_lex ( int  m)
void psi::detci::Odometer::set_value ( int  m)
void psi::detci::Odometer::set_value ( int *  m)
void psi::detci::Odometer::size ( unsigned  s)

Member Data Documentation

unsigned psi::detci::Odometer::length
protected
int* psi::detci::Odometer::max
protected
int* psi::detci::Odometer::min
protected
int* psi::detci::Odometer::value
protected

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