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

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 ;

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