spot  1.0.1
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 comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:02 for spot by doxygen 1.8.1.2