Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

spot::minato_isop::local_vars Struct Reference

Internal variables for minato_isop. More...

List of all members.

Public Types

enum  { FirstStep, SecondStep, ThirdStep, FourthStep }

Public Member Functions

 local_vars (bdd f_min, bdd f_max, bdd vars)

Public Attributes

bdd f_min
bdd f_max
enum spot::minato_isop::local_vars:: { ... }  step
bdd vars
bdd v1
bdd f0_min
bdd f0_max
bdd f1_min
bdd f1_max
bdd g0
bdd g1


Detailed Description

Internal variables for minato_isop.


Member Enumeration Documentation

anonymous enum
 

Enumeration values:
FirstStep 
SecondStep 
ThirdStep 
FourthStep 


Constructor & Destructor Documentation

spot::minato_isop::local_vars::local_vars bdd  f_min,
bdd  f_max,
bdd  vars
[inline]
 


Member Data Documentation

bdd spot::minato_isop::local_vars::f0_max
 

bdd spot::minato_isop::local_vars::f0_min
 

bdd spot::minato_isop::local_vars::f1_max
 

bdd spot::minato_isop::local_vars::f1_min
 

bdd spot::minato_isop::local_vars::f_max
 

bdd spot::minato_isop::local_vars::f_min
 

bdd spot::minato_isop::local_vars::g0
 

bdd spot::minato_isop::local_vars::g1
 

enum { ... } spot::minato_isop::local_vars::step
 

bdd spot::minato_isop::local_vars::v1
 

bdd spot::minato_isop::local_vars::vars
 


The documentation for this struct was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:27 2005 for spot by doxygen 1.4.0