spot  0.9.1
Public Types | Public Member Functions | Public Attributes
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
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


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 May 23 2012 12:06:46 for spot by doxygen 1.7.6.1