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:

• misc/minato.hh

---

Please comment this page and report errors about it on the RefDocComments page.