spot  1.1.4
Public Types | Public Member Functions | Public Attributes | List of all members
spot::minato_isop::local_vars Struct Reference

Internal variables for minato_isop. More...

Collaboration diagram for spot::minato_isop::local_vars:
Collaboration graph

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
Enumerator
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4