cellOption

A cellOption contains various parameter settings used to fine-tune the behavior of the recursive verification procedures in the class prove.

All class functions are defined inline.


[ kepler | Source | Keywords | Summary | Ancestors | All Members | Descendants ]

Quick Index

OVERVIEW TEXT
AUTHOR

Class Summary

class cellOption
{

public:
void setSkipCases(const int skiplist[],int len) ;
int skip(int i) const ;
void setWidthCutoff(double x) ;
double getWidthCutoff() const ;
int hasWidthCutoff() const ;
void setChiShortCut(int i) ;
int getChiShortCut() const ;
void setDihMax(double theta) ;
double getDihMax() ;
int isUsingDihMax() ;
void setPrintMode(X u) ;
X getPrintMode() ;
void setStartingIndex(int i) ;
int getStartingIndex() const ;
cellOption() ;
protected:
}; // cellOption

Back to the top of cellOption


OVERVIEW TEXT

The proof class is designed to prove many different inequalities in many different contexts. It is necessary to customize certain actions the recursive verification procedure. This is done through various parameter settings.

Back to the top of cellOption


AUTHOR

Thomas C. Hales

Back to the top of cellOption


void setSkipCases(const int skiplist[],int len) ;

setSkipCases allows the user to enter an array that specifies what input integers caseNumber will return a nonzero value skip(caseNumber).

	void setSkipCases(const int skiplist[],int len)
		                                    ;

Function is currently defined inline.


Back to the top of cellOption


int skip(int i) const ;

skip is called by recursiveVerifierQ when there is dimension reduction. Dimension reduction breaks a quad inequality into many cases. Before running each case, recurseiveVerifierQ calls skip(casenumber) and omits the case if a nonzero value is returned. The nonzero return values are set using setSkipCases.

	int skip(int i) const
		                                                                                
;

Function is currently defined inline.


Back to the top of cellOption


void setWidthCutoff(double x) ;

	void setWidthCutoff(double x)                                          
;

Function is currently defined inline.


Back to the top of cellOption


double getWidthCutoff() const ;

	double getWidthCutoff() const                        
;

Function is currently defined inline.


Back to the top of cellOption


int hasWidthCutoff() const ;

	int hasWidthCutoff() const                             
;

Function is currently defined inline.


Back to the top of cellOption


void setChiShortCut(int i) ;

    void setChiShortCut(int i)                   
;

Function is currently defined inline.


Back to the top of cellOption


int getChiShortCut() const ;

    int getChiShortCut() const                        
;

Function is currently defined inline.


Back to the top of cellOption


void setDihMax(double theta) ;

    void setDihMax(double theta)                                  
;

Function is currently defined inline.


Back to the top of cellOption


double getDihMax() ;

    double getDihMax()                   
;

Function is currently defined inline.


Back to the top of cellOption


int isUsingDihMax() ;

    int isUsingDihMax()                        
;

Function is currently defined inline.


Back to the top of cellOption


void setPrintMode(X u) ;

    void setPrintMode(X u)                      
;

Function is currently defined inline.


Back to the top of cellOption


X getPrintMode() ;

    X getPrintMode()                         
;

Function is currently defined inline.


Back to the top of cellOption


void setStartingIndex(int i) ;

	void setStartingIndex(int i)                     
;

Function is currently defined inline.


Back to the top of cellOption


int getStartingIndex() const ;

	int getStartingIndex() const                          
;

Function is currently defined inline.


Back to the top of cellOption


cellOption() ;

    cellOption()                                                                                                                                                                                               
;

Function is currently defined inline.


Back to the top of cellOption


All Members

public:
void setSkipCases(const int skiplist[],int len) ;
int skip(int i) const ;
void setWidthCutoff(double x) ;
double getWidthCutoff() const ;
int hasWidthCutoff() const ;
void setChiShortCut(int i) ;
int getChiShortCut() const ;
void setDihMax(double theta) ;
double getDihMax() ;
int isUsingDihMax() ;
void setPrintMode(X u) ;
X getPrintMode() ;
void setStartingIndex(int i) ;
int getStartingIndex() const ;
protected:

Back to the top of cellOption


Ancestors

Class does not inherit from any other class.

Back to the top of cellOption


Descendants

Class is not inherited by any others.

Back to the top of cellOption


Generated from source by the Cocoon utilities on Mon Dec 22 19:37:23 1997 .

Report problems to jkotula@unimax.com