Commit 181cff24 authored by Matthias Rungger's avatar Matthias Rungger
Browse files

Files added

parent b75fa606
1.5
C/C++
/Users/matthias/Documents/projects/scots/git/src/SymbolicModelGrowthBound.hh 1445698008 1 SymbolicModelGrowthBound
/Users/matthias/Documents/projects/scots/git/src/SymbolicModel.hh 1445697595 1 SymbolicModel
/Users/matthias/Documents/projects/scots/git/src/SymbolicSet.hh 1445696862 1 SymbolicSet
/Users/matthias/Documents/projects/scots/git/src/CuddMintermIterator.hh 1445640625 1 CuddMintermIterator
/Users/matthias/Documents/projects/scots/git/src/FixedPoint.hh 1445697415 1 FixedPoint
/Users/matthias/Documents/projects/scots/git/src/TicToc.hh 1444124222 1 TicToc
Format: 1.5
# This is the Natural Docs languages file for this project. If you change
# anything here, it will apply to THIS PROJECT ONLY. If you'd like to change
# something for all your projects, edit the Languages.txt in Natural Docs'
# Config directory instead.
# You can prevent certain file extensions from being scanned like this:
# Ignore Extensions: [extension] [extension] ...
#-------------------------------------------------------------------------------
# SYNTAX:
#
# Unlike other Natural Docs configuration files, in this file all comments
# MUST be alone on a line. Some languages deal with the # character, so you
# cannot put comments on the same line as content.
#
# Also, all lists are separated with spaces, not commas, again because some
# languages may need to use them.
#
# Language: [name]
# Alter Language: [name]
# Defines a new language or alters an existing one. Its name can use any
# characters. If any of the properties below have an add/replace form, you
# must use that when using Alter Language.
#
# The language Shebang Script is special. It's entry is only used for
# extensions, and files with those extensions have their shebang (#!) lines
# read to determine the real language of the file. Extensionless files are
# always treated this way.
#
# The language Text File is also special. It's treated as one big comment
# so you can put Natural Docs content in them without special symbols. Also,
# if you don't specify a package separator, ignored prefixes, or enum value
# behavior, it will copy those settings from the language that is used most
# in the source tree.
#
# Extensions: [extension] [extension] ...
# [Add/Replace] Extensions: [extension] [extension] ...
# Defines the file extensions of the language's source files. You can
# redefine extensions found in the main languages file. You can use * to
# mean any undefined extension.
#
# Shebang Strings: [string] [string] ...
# [Add/Replace] Shebang Strings: [string] [string] ...
# Defines a list of strings that can appear in the shebang (#!) line to
# designate that it's part of the language. You can redefine strings found
# in the main languages file.
#
# Ignore Prefixes in Index: [prefix] [prefix] ...
# [Add/Replace] Ignored Prefixes in Index: [prefix] [prefix] ...
#
# Ignore [Topic Type] Prefixes in Index: [prefix] [prefix] ...
# [Add/Replace] Ignored [Topic Type] Prefixes in Index: [prefix] [prefix] ...
# Specifies prefixes that should be ignored when sorting symbols in an
# index. Can be specified in general or for a specific topic type.
#
#------------------------------------------------------------------------------
# For basic language support only:
#
# Line Comments: [symbol] [symbol] ...
# Defines a space-separated list of symbols that are used for line comments,
# if any.
#
# Block Comments: [opening sym] [closing sym] [opening sym] [closing sym] ...
# Defines a space-separated list of symbol pairs that are used for block
# comments, if any.
#
# Package Separator: [symbol]
# Defines the default package separator symbol. The default is a dot.
#
# [Topic Type] Prototype Enders: [symbol] [symbol] ...
# When defined, Natural Docs will attempt to get a prototype from the code
# immediately following the topic type. It stops when it reaches one of
# these symbols. Use \n for line breaks.
#
# Line Extender: [symbol]
# Defines the symbol that allows a prototype to span multiple lines if
# normally a line break would end it.
#
# Enum Values: [global|under type|under parent]
# Defines how enum values are referenced. The default is global.
# global - Values are always global, referenced as 'value'.
# under type - Values are under the enum type, referenced as
# 'package.enum.value'.
# under parent - Values are under the enum's parent, referenced as
# 'package.value'.
#
# Perl Package: [perl package]
# Specifies the Perl package used to fine-tune the language behavior in ways
# too complex to do in this file.
#
#------------------------------------------------------------------------------
# For full language support only:
#
# Full Language Support: [perl package]
# Specifies the Perl package that has the parsing routines necessary for full
# language support.
#
#-------------------------------------------------------------------------------
# The following languages are defined in the main file, if you'd like to alter
# them:
#
# Text File, Shebang Script, C/C++, C#, Java, JavaScript, Perl, Python,
# PHP, SQL, Visual Basic, Pascal, Assembly, Ada, Tcl, Ruby, Makefile,
# ActionScript, ColdFusion, R, Fortran
# If you add a language that you think would be useful to other developers
# and should be included in Natural Docs by default, please e-mail it to
# languages [at] naturaldocs [dot] org.
Alter Language: C/C++
Add Extensions: hh cc
Format: 1.5
Title: SCOTS
SubTitle: symbolic controller synthesis
Footer:
Timestamp: Generated on month day, year
# m - One or two digit month. January is "1"
# mm - Always two digit month. January is "01"
# mon - Short month word. January is "Jan"
# month - Long month word. January is "January"
# d - One or two digit day. 1 is "1"
# dd - Always two digit day. 1 is "01"
# day - Day with letter extension. 1 is "1st"
# yy - Two digit year. 2006 is "06"
# yyyy - Four digit year. 2006 is "2006"
# year - Four digit year. 2006 is "2006"
# These are indexes you deleted, so Natural Docs will not add them again
# unless you remove them from this line.
Don't Index: General, Functions, Variables, Classes
# --------------------------------------------------------------------------
#
# Cut and paste the lines below to change the order in which your files
# appear on the menu. Don't worry about adding or removing files, Natural
# Docs will take care of that.
#
# You can further organize the menu by grouping the entries. Add a
# "Group: [name] {" line to start a group, and add a "}" to end it.
#
# You can add text and web links to the menu by adding "Text: [text]" and
# "Link: [name] ([URL])" lines, respectively.
#
# The formatting and comments are auto-generated, so don't worry about
# neatness when editing the file. Natural Docs will clean it up the next
# time it is run. When working with groups, just deal with the braces and
# forget about the indentation and comments.
#
# --------------------------------------------------------------------------
Group: scots {
File: SymbolicSet (SymbolicSet.hh)
File: SymbolicModel (SymbolicModel.hh)
File: SymbolicModelGrowthBound (SymbolicModelGrowthBound.hh)
File: FixedPoint (FixedPoint.hh)
} # Group: scots
Group: helper {
File: CuddMintermIterator (CuddMintermIterator.hh)
File: TicToc (TicToc.hh)
} # Group: helper
Format: 1.5
# This is the Natural Docs topics file for this project. If you change anything
# here, it will apply to THIS PROJECT ONLY. If you'd like to change something
# for all your projects, edit the Topics.txt in Natural Docs' Config directory
# instead.
# If you'd like to prevent keywords from being recognized by Natural Docs, you
# can do it like this:
# Ignore Keywords: [keyword], [keyword], ...
#
# Or you can use the list syntax like how they are defined:
# Ignore Keywords:
# [keyword]
# [keyword], [plural keyword]
# ...
#-------------------------------------------------------------------------------
# SYNTAX:
#
# Topic Type: [name]
# Alter Topic Type: [name]
# Creates a new topic type or alters one from the main file. Each type gets
# its own index and behavior settings. Its name can have letters, numbers,
# spaces, and these charaters: - / . '
#
# Plural: [name]
# Sets the plural name of the topic type, if different.
#
# Keywords:
# [keyword]
# [keyword], [plural keyword]
# ...
# Defines or adds to the list of keywords for the topic type. They may only
# contain letters, numbers, and spaces and are not case sensitive. Plural
# keywords are used for list topics. You can redefine keywords found in the
# main topics file.
#
# Index: [yes|no]
# Whether the topics get their own index. Defaults to yes. Everything is
# included in the general index regardless of this setting.
#
# Scope: [normal|start|end|always global]
# How the topics affects scope. Defaults to normal.
# normal - Topics stay within the current scope.
# start - Topics start a new scope for all the topics beneath it,
# like class topics.
# end - Topics reset the scope back to global for all the topics
# beneath it.
# always global - Topics are defined as global, but do not change the scope
# for any other topics.
#
# Class Hierarchy: [yes|no]
# Whether the topics are part of the class hierarchy. Defaults to no.
#
# Page Title If First: [yes|no]
# Whether the topic's title becomes the page title if it's the first one in
# a file. Defaults to no.
#
# Break Lists: [yes|no]
# Whether list topics should be broken into individual topics in the output.
# Defaults to no.
#
# Can Group With: [type], [type], ...
# Defines a list of topic types that this one can possibly be grouped with.
# Defaults to none.
#-------------------------------------------------------------------------------
# The following topics are defined in the main file, if you'd like to alter
# their behavior or add keywords:
#
# Generic, Class, Interface, Section, File, Group, Function, Variable,
# Property, Type, Constant, Enumeration, Event, Delegate, Macro,
# Database, Database Table, Database View, Database Index, Database
# Cursor, Database Trigger, Cookie, Build Target
# If you add something that you think would be useful to other developers
# and should be included in Natural Docs by default, please e-mail it to
# topics [at] naturaldocs [dot] org.
This diff is collapsed.
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><title>CuddMintermIterator - SCOTS</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script><script language=JavaScript src="../javascript/searchdata.js"></script></head><body class="ContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
<!-- http://www.naturaldocs.org -->
<!-- saved from url=(0026)http://www.naturaldocs.org -->
<div id=Content><div class="CClass"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="CuddMintermIterator"></a>CuddMintermIterator</h1><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class CuddMintermIterator</td></tr></table></blockquote><p>an extension to the Cudd DdGen struct to iterate over all minterms of a bdd</p><p>In the doc of Cudd_FirstCube/Cudd_Next a cube is described as an array of literals, which are integers in {0, 1, 2}.&nbsp; 0 represents a complemented literal, 1 represents an uncomplemented literal, and 2 stands for don&rsquo;t care.&nbsp; The enumeration produces a disjoint cover of the function associated with the diagram.&nbsp; In this class the enumeration is extended to minterms.&nbsp; A minterm is a cube where each don&rsquo;t care 2 is replaced by either 0 or 1.</p><!--START_ND_SUMMARY--><div class=Summary><div class=STitle>Summary</div><div class=SBorder><table border=0 cellspacing=0 cellpadding=0 class=STable><tr class="SMain"><td class=SEntry><a href="#CuddMintermIterator" id=link1 onMouseOver="ShowTip(event, 'tt1', 'link1')" onMouseOut="HideTip('tt1')">CuddMintermIterator</a></td><td class=SDescription>an extension to the Cudd DdGen struct to iterate over all minterms of a bdd</td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#CuddMintermIterator.Functions" >Functions</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#CuddMintermIterator.CuddMintermIterator" id=link2 onMouseOver="ShowTip(event, 'tt2', 'link2')" onMouseOut="HideTip('tt2')">CuddMintermIterator</a></td><td class=SDescription>iterate over minterms containing the variables defined by the indices ivars</td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#CuddMintermIterator.CuddMintermIterator" id=link3 onMouseOver="ShowTip(event, 'tt2', 'link3')" onMouseOut="HideTip('tt2')">CuddMintermIterator</a></td><td class=SDescription>iterate over minterms containing the support variables</td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#CuddMintermIterator.done" id=link4 onMouseOver="ShowTip(event, 'tt3', 'link4')" onMouseOut="HideTip('tt3')">done</a></td><td class=SDescription>1 if the final minterm is reached 0 otherwise</td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#CuddMintermIterator.copyMinterm" id=link5 onMouseOver="ShowTip(event, 'tt4', 'link5')" onMouseOut="HideTip('tt4')">copyMinterm</a></td><td class=SDescription>copy the current minterm to mterm mterm needs to be allocated in calling scope</td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#CuddMintermIterator.printMinterm" id=link6 onMouseOver="ShowTip(event, 'tt5', 'link6')" onMouseOut="HideTip('tt5')">printMinterm</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#CuddMintermIterator.currentMinter" id=link7 onMouseOver="ShowTip(event, 'tt6', 'link7')" onMouseOut="HideTip('tt6')">currentMinter()</a></td><td class=SDescription>get an const int* pointer to the current minterm a modification of the integer array (containing the minterm) is not allowed</td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#CuddMintermIterator.printProgress" id=link8 onMouseOver="ShowTip(event, 'tt7', 'link8')" onMouseOut="HideTip('tt7')">printProgress</a></td><td class=SDescription></td></tr></table></div></div><!--END_ND_SUMMARY--></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.Functions"></a>Functions</h3></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.CuddMintermIterator"></a>CuddMintermIterator</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>CuddMintermIterator(</td><td class=PTypePrefix nowrap></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>bdd,</td></tr><tr><td></td><td class=PTypePrefix nowrap>std::</td><td class=PType nowrap>vector&lt;size_t&gt;&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>ivars,</td></tr><tr><td></td><td class=PTypePrefix nowrap></td><td class=PType nowrap>size_t&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>nvars</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>iterate over minterms containing the variables defined by the indices ivars</p><p>the variables ivars must conatin all support variables of the bdd</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.CuddMintermIterator"></a>CuddMintermIterator</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>CuddMintermIterator(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameter nowrap>bdd</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>iterate over minterms containing the support variables</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.done"></a>done</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline bool done(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>1 if the final minterm is reached 0 otherwise</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.copyMinterm"></a>copyMinterm</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void copyMinterm(</td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>mterm</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>copy the current minterm to mterm mterm needs to be allocated in calling scope</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.printMinterm"></a>printMinterm</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>inline void printMinterm()</td></tr></table></blockquote></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.currentMinter"></a>currentMinter()</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>inline const int* currentMinterm()</td></tr></table></blockquote><p>get an const int* pointer to the current minterm a modification of the integer array (containing the minterm) is not allowed</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="CuddMintermIterator.printProgress"></a>printProgress</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void printProgress(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote></div></div></div>
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile id=MSelected>CuddMintermIterator</div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
<!--START_ND_TOOLTIPS-->
<div class=CToolTip id="tt1"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class CuddMintermIterator</td></tr></table></blockquote>an extension to the Cudd DdGen struct to iterate over all minterms of a bdd</div></div><div class=CToolTip id="tt2"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>CuddMintermIterator(</td><td class=PTypePrefix nowrap></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>bdd,</td></tr><tr><td></td><td class=PTypePrefix nowrap>std::</td><td class=PType nowrap>vector&lt;size_t&gt;&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>ivars,</td></tr><tr><td></td><td class=PTypePrefix nowrap></td><td class=PType nowrap>size_t&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>nvars</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>iterate over minterms containing the variables defined by the indices ivars</div></div><div class=CToolTip id="tt3"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline bool done(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>1 if the final minterm is reached 0 otherwise</div></div><div class=CToolTip id="tt4"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void copyMinterm(</td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>mterm</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>copy the current minterm to mterm mterm needs to be allocated in calling scope</div></div><div class=CToolTip id="tt5"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>inline void printMinterm()</td></tr></table></blockquote></div></div><div class=CToolTip id="tt6"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>inline const int* currentMinterm()</td></tr></table></blockquote>get an const int* pointer to the current minterm a modification of the integer array (containing the minterm) is not allowed</div></div><div class=CToolTip id="tt7"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void printProgress(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote></div></div><!--END_ND_TOOLTIPS-->
<div id=MSearchResultsWindow><iframe src="" frameborder=0 name=MSearchResults id=MSearchResults></iframe><a href="javascript:searchPanel.CloseResultsWindow()" id=MSearchResultsWindowClose>Close</a></div>
<script language=JavaScript><!--
if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html>
\ No newline at end of file
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><title>FixedPoint - SCOTS</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script><script language=JavaScript src="../javascript/searchdata.js"></script></head><body class="ContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
<!-- http://www.naturaldocs.org -->
<!-- saved from url=(0026)http://www.naturaldocs.org -->
<div id=Content><div class="CClass"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="FixedPoint"></a>FixedPoint</h1><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class FixedPoint</td></tr></table></blockquote><p>it provides minimal and maximal fixed point computations</p><!--START_ND_SUMMARY--><div class=Summary><div class=STitle>Summary</div><div class=SBorder><table border=0 cellspacing=0 cellpadding=0 class=STable><tr class="SMain"><td class=SEntry><a href="#FixedPoint" id=link1 onMouseOver="ShowTip(event, 'tt1', 'link1')" onMouseOut="HideTip('tt1')">FixedPoint</a></td><td class=SDescription>it provides minimal and maximal fixed point computations</td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#FixedPoint.Variables" >Variables</a></td><td class=SDescription></td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#FixedPoint.ddmgr_" id=link2 onMouseOver="ShowTip(event, 'tt2', 'link2')" onMouseOut="HideTip('tt2')">ddmgr_</a></td><td class=SDescription></td></tr><tr class="SVariable SIndent2"><td class=SEntry><a href="#FixedPoint.symbolicModel_" id=link3 onMouseOver="ShowTip(event, 'tt3', 'link3')" onMouseOut="HideTip('tt3')">symbolicModel_</a></td><td class=SDescription>stores the transition relation</td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#FixedPoint.permute" id=link4 onMouseOver="ShowTip(event, 'tt4', 'link4')" onMouseOut="HideTip('tt4')">permute</a></td><td class=SDescription>stores the permutation array used to swap pre with post variables</td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#FixedPoint.Functions" >Functions</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#FixedPoint.FixedPoint" id=link5 onMouseOver="ShowTip(event, 'tt5', 'link5')" onMouseOut="HideTip('tt5')">FixedPoint</a></td><td class=SDescription>initialize the FixedPoint object with a <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link6 onMouseOver="ShowTip(event, 'tt6', 'link6')" onMouseOut="HideTip('tt6')">SymbolicModel</a> containing the transition relation</td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#FixedPoint.maximalFixedPoint" id=link7 onMouseOver="ShowTip(event, 'tt7', 'link7')" onMouseOut="HideTip('tt7')">maximalFixedPoint</a></td><td class=SDescription>computation of the maximal fixed point mu Z.pre(Z) &amp; safe</td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#FixedPoint.minimalFixedPoint" id=link8 onMouseOver="ShowTip(event, 'tt8', 'link8')" onMouseOut="HideTip('tt8')">minimalFixedPoint</a></td><td class=SDescription>computation of the minimal fixed point mu Z.pre(Z) | target</td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#FixedPoint.reachAvoid" id=link9 onMouseOver="ShowTip(event, 'tt9', 'link9')" onMouseOut="HideTip('tt9')">reachAvoid</a></td><td class=SDescription>controller synthesis to enforce reach avoid specification</td></tr></table></div></div><!--END_ND_SUMMARY--></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.Variables"></a>Variables</h3></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.ddmgr_"></a>ddmgr_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>Cudd *ddmgr_</td></tr></table></blockquote></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.symbolicModel_"></a>symbolicModel_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>SymbolicModel *symbolicModel_</td></tr></table></blockquote><p>stores the transition relation</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.permute"></a>permute</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>int* permute_</td></tr></table></blockquote><p>stores the permutation array used to swap pre with post variables</p></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.Functions"></a>Functions</h3></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.FixedPoint"></a>FixedPoint</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>FixedPoint(</td><td class=PType nowrap>SymbolicModel&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>symbolicModel</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>initialize the FixedPoint object with a <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link10 onMouseOver="ShowTip(event, 'tt6', 'link10')" onMouseOut="HideTip('tt6')">SymbolicModel</a> containing the transition relation</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.maximalFixedPoint"></a>maximalFixedPoint</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>void maximalFixedPoint(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>safe,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>FP,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>controller,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>verbose</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>computation of the maximal fixed point mu Z.pre(Z) &amp; safe</p><p>pre(Z) = { x | exist u, forall x&rsquo;, (x,u,x&rsquo;) in transitionRelation =&gt; x&rsquo; in Z }</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.minimalFixedPoint"></a>minimalFixedPoint</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>void minimalFixedPoint(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>target,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>FP,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>controller,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>verbose</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>computation of the minimal fixed point mu Z.pre(Z) | target</p><p>pre(Z) = { x | exist u, forall x&rsquo;, (x,u,x&rsquo;) in transitionRelation =&gt; x&rsquo; in Z }</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="FixedPoint.reachAvoid"></a>reachAvoid</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>void reachAvoid(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>target,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>avoid,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>FP,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>controller,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>verbose</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>controller synthesis to enforce reach avoid specification</p></div></div></div>
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile id=MSelected>FixedPoint</div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
<!--START_ND_TOOLTIPS-->
<div class=CToolTip id="tt1"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class FixedPoint</td></tr></table></blockquote>it provides minimal and maximal fixed point computations</div></div><div class=CToolTip id="tt2"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>Cudd *ddmgr_</td></tr></table></blockquote></div></div><div class=CToolTip id="tt3"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>SymbolicModel *symbolicModel_</td></tr></table></blockquote>stores the transition relation</div></div><div class=CToolTip id="tt4"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>int* permute_</td></tr></table></blockquote>stores the permutation array used to swap pre with post variables</div></div><div class=CToolTip id="tt5"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>FixedPoint(</td><td class=PType nowrap>SymbolicModel&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>symbolicModel</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>initialize the FixedPoint object with a SymbolicModel containing the transition relation</div></div><div class=CToolTip id="tt6"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class SymbolicModel</td></tr></table></blockquote>base class for SymbolicModelGrowthBound</div></div><div class=CToolTip id="tt7"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>void maximalFixedPoint(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>safe,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>FP,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>controller,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>verbose</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>computation of the maximal fixed point mu Z.pre(Z) &amp; safe</div></div><div class=CToolTip id="tt8"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>void minimalFixedPoint(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>target,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>FP,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>controller,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>verbose</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>computation of the minimal fixed point mu Z.pre(Z) | target</div></div><div class=CToolTip id="tt9"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>void reachAvoid(</td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>target,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>avoid,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>FP,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>BDD&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>controller,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td></tr><tr><td></td><td class=PType nowrap>int&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>verbose</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>controller synthesis to enforce reach avoid specification</div></div><!--END_ND_TOOLTIPS-->
<div id=MSearchResultsWindow><iframe src="" frameborder=0 name=MSearchResults id=MSearchResults></iframe><a href="javascript:searchPanel.CloseResultsWindow()" id=MSearchResultsWindowClose>Close</a></div>
<script language=JavaScript><!--
if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html>
\ No newline at end of file
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><title>SymbolicModel - SCOTS</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script><script language=JavaScript src="../javascript/searchdata.js"></script></head><body class="ContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
<!-- http://www.naturaldocs.org -->
<!-- saved from url=(0026)http://www.naturaldocs.org -->
<div id=Content><div class="CClass"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="SymbolicModel"></a>SymbolicModel</h1><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class SymbolicModel</td></tr></table></blockquote><p>base class for <a href="SymbolicModelGrowthBound-hh.html#SymbolicModelGrowthBound" class=LClass id=link18 onMouseOver="ShowTip(event, 'tt2', 'link18')" onMouseOut="HideTip('tt2')">SymbolicModelGrowthBound</a></p><p>it stores the bdd of the transition relation and its bdd variable information it provides an iterator to loop over all elements in the stateSpace and inputSpace</p><p>the actual computation of the transition relation is computs in the derived classes</p><!--START_ND_SUMMARY--><div class=Summary><div class=STitle>Summary</div><div class=SBorder><table border=0 cellspacing=0 cellpadding=0 class=STable><tr class="SMain"><td class=SEntry><a href="#SymbolicModel" id=link1 onMouseOver="ShowTip(event, 'tt1', 'link1')" onMouseOut="HideTip('tt1')">SymbolicModel</a></td><td class=SDescription>base class for <a href="SymbolicModelGrowthBound-hh.html#SymbolicModelGrowthBound" class=LClass id=link2 onMouseOver="ShowTip(event, 'tt2', 'link2')" onMouseOut="HideTip('tt2')">SymbolicModelGrowthBound</a></td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#SymbolicModel.Variables" >Variables</a></td><td class=SDescription></td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.ddmgr_" id=link3 onMouseOver="ShowTip(event, 'tt3', 'link3')" onMouseOut="HideTip('tt3')">ddmgr_</a></td><td class=SDescription></td></tr><tr class="SVariable SIndent2"><td class=SEntry><a href="#SymbolicModel.stateSpace_" id=link4 onMouseOver="ShowTip(event, 'tt4', 'link4')" onMouseOut="HideTip('tt4')">stateSpace_</a></td><td class=SDescription></td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.inputSpace_" id=link5 onMouseOver="ShowTip(event, 'tt5', 'link5')" onMouseOut="HideTip('tt5')">inputSpace_</a></td><td class=SDescription></td></tr><tr class="SVariable SIndent2"><td class=SEntry><a href="#SymbolicModel.nssVars_" id=link6 onMouseOver="ShowTip(event, 'tt6', 'link6')" onMouseOut="HideTip('tt6')">nssVars_</a></td><td class=SDescription>number of state space bdd variables (= number of pre/post variables)</td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.preVars_" id=link7 onMouseOver="ShowTip(event, 'tt7', 'link7')" onMouseOut="HideTip('tt7')">preVars_</a></td><td class=SDescription>array of indices of the state space pre bdd variables</td></tr><tr class="SVariable SIndent2"><td class=SEntry><a href="#SymbolicModel.postVars_" id=link8 onMouseOver="ShowTip(event, 'tt8', 'link8')" onMouseOut="HideTip('tt8')">postVars_</a></td><td class=SDescription>array of indices of the state space post bdd variables</td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.nisVars_" id=link9 onMouseOver="ShowTip(event, 'tt9', 'link9')" onMouseOut="HideTip('tt9')">nisVars_</a></td><td class=SDescription>number of input space bdd variables</td></tr><tr class="SVariable SIndent2"><td class=SEntry><a href="#SymbolicModel.inpVars_" id=link10 onMouseOver="ShowTip(event, 'tt10', 'link10')" onMouseOut="HideTip('tt10')">inpVars_</a></td><td class=SDescription>array of indices of the input space bdd variables</td></tr><tr class="SVariable SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.iterator_" id=link11 onMouseOver="ShowTip(event, 'tt11', 'link11')" onMouseOut="HideTip('tt11')">iterator_</a></td><td class=SDescription>CuddMintermIterator to iterate over all elements in stateSpace_ and inputSpace_</td></tr><tr class="SVariable SIndent2"><td class=SEntry><a href="#SymbolicModel.transitionRelation_" id=link12 onMouseOver="ShowTip(event, 'tt12', 'link12')" onMouseOut="HideTip('tt12')">transitionRelation_</a></td><td class=SDescription>the bdd representation of the transition relation X x U x X the bdd variables of the transition relation are given by preVars_ x inpVars_ x postVars_</td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#SymbolicModel.Functions" >Functions</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.getSize" id=link13 onMouseOver="ShowTip(event, 'tt13', 'link13')" onMouseOut="HideTip('tt13')">getSize</a></td><td class=SDescription>get the number of elements in the transition relation</td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#SymbolicModel.begin" id=link14 onMouseOver="ShowTip(event, 'tt14', 'link14')" onMouseOut="HideTip('tt14')">begin</a></td><td class=SDescription>initilize the iterator and compute the first element</td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.next" id=link15 onMouseOver="ShowTip(event, 'tt15', 'link15')" onMouseOut="HideTip('tt15')">next</a></td><td class=SDescription>compute the next minterm</td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#SymbolicModel.progress" id=link16 onMouseOver="ShowTip(event, 'tt16', 'link16')" onMouseOut="HideTip('tt16')">progress</a></td><td class=SDescription>print progess of iteratin in percent</td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModel.currentMinterm" id=link17 onMouseOver="ShowTip(event, 'tt17', 'link17')" onMouseOut="HideTip('tt17')">currentMinterm</a></td><td class=SDescription>returns the pointer to the current minterm in the iteration</td></tr></table></div></div><!--END_ND_SUMMARY--></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.Variables"></a>Variables</h3></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.ddmgr_"></a>ddmgr_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>Cudd *ddmgr_</td></tr></table></blockquote></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.stateSpace_"></a>stateSpace_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>SymbolicSet *stateSpace_</td></tr></table></blockquote></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.inputSpace_"></a>inputSpace_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>SymbolicSet *inputSpace_</td></tr></table></blockquote></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.nssVars_"></a>nssVars_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t nssVars_</td></tr></table></blockquote><p>number of state space bdd variables (= number of pre/post variables)</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.preVars_"></a>preVars_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t* preVars_</td></tr></table></blockquote><p>array of indices of the state space pre bdd variables</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.postVars_"></a>postVars_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t* postVars_</td></tr></table></blockquote><p>array of indices of the state space post bdd variables</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.nisVars_"></a>nisVars_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t nisVars_</td></tr></table></blockquote><p>number of input space bdd variables</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.inpVars_"></a>inpVars_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t* inpVars_</td></tr></table></blockquote><p>array of indices of the input space bdd variables</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.iterator_"></a>iterator_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>CuddMintermIterator *iterator_</td></tr></table></blockquote><p>CuddMintermIterator to iterate over all elements in stateSpace_ and inputSpace_</p></div></div></div>
<div class="CVariable"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.transitionRelation_"></a>transitionRelation_</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>BDD transitionRelation_</td></tr></table></blockquote><p>the bdd representation of the transition relation X x U x X the bdd variables of the transition relation are given by preVars_ x inpVars_ x postVars_</p></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.Functions"></a>Functions</h3></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.getSize"></a>getSize</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline double getSize(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>get the number of elements in the transition relation</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.begin"></a>begin</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void begin(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>initilize the iterator and compute the first element</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.next"></a>next</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void next(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>compute the next minterm</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.progress"></a>progress</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void progress(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>) const</td></tr></table></td></tr></table></blockquote><p>print progess of iteratin in percent</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModel.currentMinterm"></a>currentMinterm</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline const int* currentMinterm(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>) const</td></tr></table></td></tr></table></blockquote><p>returns the pointer to the current minterm in the iteration</p></div></div></div>
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile id=MSelected>SymbolicModel</div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
<!--START_ND_TOOLTIPS-->
<div class=CToolTip id="tt1"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class SymbolicModel</td></tr></table></blockquote>base class for SymbolicModelGrowthBound</div></div><div class=CToolTip id="tt2"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote>Derived class from SymbolicModel</div></div><div class=CToolTip id="tt3"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>Cudd *ddmgr_</td></tr></table></blockquote></div></div><div class=CToolTip id="tt4"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>SymbolicSet *stateSpace_</td></tr></table></blockquote></div></div><div class=CToolTip id="tt5"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>SymbolicSet *inputSpace_</td></tr></table></blockquote></div></div><div class=CToolTip id="tt6"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t nssVars_</td></tr></table></blockquote>number of state space bdd variables (= number of pre/post variables)</div></div><div class=CToolTip id="tt7"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t* preVars_</td></tr></table></blockquote>array of indices of the state space pre bdd variables</div></div><div class=CToolTip id="tt8"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t* postVars_</td></tr></table></blockquote>array of indices of the state space post bdd variables</div></div><div class=CToolTip id="tt9"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t nisVars_</td></tr></table></blockquote>number of input space bdd variables</div></div><div class=CToolTip id="tt10"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>size_t* inpVars_</td></tr></table></blockquote>array of indices of the input space bdd variables</div></div><div class=CToolTip id="tt11"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>CuddMintermIterator *iterator_</td></tr></table></blockquote>CuddMintermIterator to iterate over all elements in stateSpace_ and inputSpace_</div></div><div class=CToolTip id="tt12"><div class=CVariable><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>BDD transitionRelation_</td></tr></table></blockquote>the bdd representation of the transition relation X x U x X the bdd variables of the transition relation are given by preVars_ x inpVars_ x postVars_</div></div><div class=CToolTip id="tt13"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline double getSize(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>get the number of elements in the transition relation</div></div><div class=CToolTip id="tt14"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void begin(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>initilize the iterator and compute the first element</div></div><div class=CToolTip id="tt15"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void next(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>compute the next minterm</div></div><div class=CToolTip id="tt16"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline void progress(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>) const</td></tr></table></td></tr></table></blockquote>print progess of iteratin in percent</div></div><div class=CToolTip id="tt17"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>inline const int* currentMinterm(</td><td class=PParameter nowrap>void</td><td class=PAfterParameters nowrap>) const</td></tr></table></td></tr></table></blockquote>returns the pointer to the current minterm in the iteration</div></div><!--END_ND_TOOLTIPS-->
<div id=MSearchResultsWindow><iframe src="" frameborder=0 name=MSearchResults id=MSearchResults></iframe><a href="javascript:searchPanel.CloseResultsWindow()" id=MSearchResultsWindowClose>Close</a></div>
<script language=JavaScript><!--
if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html>
\ No newline at end of file
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><title>SymbolicModelGrowthBound - SCOTS</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script><script language=JavaScript src="../javascript/searchdata.js"></script></head><body class="ContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
<!-- http://www.naturaldocs.org -->
<!-- saved from url=(0026)http://www.naturaldocs.org -->
<div id=Content><div class="CClass"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="SymbolicModelGrowthBound"></a>SymbolicModelGrowthBound</h1><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote><p>Derived class from <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link7 onMouseOver="ShowTip(event, 'tt2', 'link7')" onMouseOut="HideTip('tt2')">SymbolicModel</a></p><p>Constructs a symbolic model according to the theory in <a href="http://arxiv.org/abs/1503.03715" class=LURL target=_top>http://arxiv.org/abs/1503.03715</a></p><!--START_ND_SUMMARY--><div class=Summary><div class=STitle>Summary</div><div class=SBorder><table border=0 cellspacing=0 cellpadding=0 class=STable><tr class="SMain"><td class=SEntry><a href="#SymbolicModelGrowthBound" id=link1 onMouseOver="ShowTip(event, 'tt1', 'link1')" onMouseOut="HideTip('tt1')">SymbolicModelGrowthBound</a></td><td class=SDescription>Derived class from <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link2 onMouseOver="ShowTip(event, 'tt2', 'link2')" onMouseOut="HideTip('tt2')">SymbolicModel</a></td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#SymbolicModelGrowthBound.Functions" >Functions</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModelGrowthBound.SymbolicModelGrowthBound" id=link3 onMouseOver="ShowTip(event, 'tt3', 'link3')" onMouseOut="HideTip('tt3')">SymbolicModelGrowthBound</a></td><td class=SDescription>initialize with the state space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link4 onMouseOver="ShowTip(event, 'tt4', 'link4')" onMouseOut="HideTip('tt4')">SymbolicSet</a> and input space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link5 onMouseOver="ShowTip(event, 'tt4', 'link5')" onMouseOut="HideTip('tt4')">SymbolicSet</a></td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#SymbolicModelGrowthBound.computeTransitionRelation" id=link6 onMouseOver="ShowTip(event, 'tt5', 'link6')" onMouseOut="HideTip('tt5')">computeTransitionRelation</a></td><td class=SDescription>provide the system ode, growth bound ode and the sampling time</td></tr></table></div></div><!--END_ND_SUMMARY--></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.Functions"></a>Functions</h3></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.SymbolicModelGrowthBound"></a>SymbolicModelGrowthBound</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=4>SymbolicModelGrowthBound(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>stateSpace,</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>inputSpace</td></tr><tr><td class=PAfterParameters colspan=4>): SymbolicModel(stateSpace,inputSpace)</td></tr></table></td></tr></table></blockquote><p>initialize with the state space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link8 onMouseOver="ShowTip(event, 'tt4', 'link8')" onMouseOut="HideTip('tt4')">SymbolicSet</a> and input space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link9 onMouseOver="ShowTip(event, 'tt4', 'link9')" onMouseOut="HideTip('tt4')">SymbolicSet</a></p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.computeTransitionRelation"></a>computeTransitionRelation</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=6>template&lt;class F1, class F2&gt; void computeTransitionRelation(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F1&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>system_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F2&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>growth_bound_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>samplingTime,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>interSampleTime</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PDefaultValue width=100%>1e-2</td></tr><tr><td class=PAfterParameters colspan=6>)</td></tr></table></td></tr></table></blockquote><p>provide the system ode, growth bound ode and the sampling time</p><p>optional: inter sampling time for the Runge Kutte solver</p></div></div></div>
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile id=MSelected>SymbolicModelGrowthBound</div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
<!--START_ND_TOOLTIPS-->
<div class=CToolTip id="tt1"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote>Derived class from SymbolicModel</div></div><div class=CToolTip id="tt2"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class SymbolicModel</td></tr></table></blockquote>base class for SymbolicModelGrowthBound</div></div><div class=CToolTip id="tt3"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=4>SymbolicModelGrowthBound(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>stateSpace,</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>inputSpace</td></tr><tr><td class=PAfterParameters colspan=4>): SymbolicModel(stateSpace,inputSpace)</td></tr></table></td></tr></table></blockquote>initialize with the state space SymbolicSet and input space SymbolicSet</div></div><div class=CToolTip id="tt4"><div class=CClass>symbolic (bdd) implementation of a set of points aligned on a uniform grid</div></div><div class=CToolTip id="tt5"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=6>template&lt;class F1, class F2&gt; void computeTransitionRelation(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F1&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>system_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F2&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>growth_bound_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>samplingTime,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>interSampleTime</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PDefaultValue width=100%>1e-2</td></tr><tr><td class=PAfterParameters colspan=6>)</td></tr></table></td></tr></table></blockquote>provide the system ode, growth bound ode and the sampling time</div></div><!--END_ND_TOOLTIPS-->
<div id=MSearchResultsWindow><iframe src="" frameborder=0 name=MSearchResults id=MSearchResults></iframe><a href="javascript:searchPanel.CloseResultsWindow()" id=MSearchResultsWindowClose>Close</a></div>
<script language=JavaScript><!--
if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html>
\ No newline at end of file