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

bdd spot::minato_isop::local_vars::f_min

bdd spot::minato_isop::local_vars::f_max

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

bdd spot::minato_isop::local_vars::vars

bdd spot::minato_isop::local_vars::v1

bdd spot::minato_isop::local_vars::f0_min

bdd spot::minato_isop::local_vars::f0_max

bdd spot::minato_isop::local_vars::f1_min

bdd spot::minato_isop::local_vars::f1_max

bdd spot::minato_isop::local_vars::g0

bdd spot::minato_isop::local_vars::g1


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 Tue Jul 17 15:14:16 2007 for spot by doxygen 1.5.2