2.12.2021, 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit e78181b8 authored by Matthias Rungger's avatar Matthias Rungger
Browse files

Typo fix

parent ccef7247
1.5
C/C++
/Users/rungger/Documents/projects/scots/git/src/CuddMintermIterator.hh 1445805982 1 CuddMintermIterator
/Users/rungger/Documents/projects/scots/git/src/FixedPoint.hh 1445808332 1 FixedPoint
/Users/rungger/Documents/projects/scots/git/src/SymbolicSet.hh 1453399956 1 SymbolicSet
/Users/rungger/Documents/projects/scots/git/src/SymbolicModelGrowthBound.hh 1453377637 1 SymbolicModelGrowthBound
/Users/rungger/Documents/projects/scots/git/src/TicToc.hh 1445805982 1 TicToc
/Users/rungger/Documents/projects/scots/git/src/Menu.txt 1453377174 0 /Users/rungger/Documents/projects/scots/git/src/Menu.txt
/Users/rungger/Documents/projects/scots/git/src/SymbolicSet.hh 1445805982 1 SymbolicSet
/Users/rungger/Documents/projects/scots/git/src/CuddMintermIterator.hh 1445805982 1 CuddMintermIterator
/Users/rungger/Documents/projects/scots/git/src/SymbolicModel.hh 1445805982 1 SymbolicModel
/Users/rungger/Documents/projects/scots/git/src/Topics.txt 1453377174 0 /Users/rungger/Documents/projects/scots/git/src/Topics.txt
/Users/rungger/Documents/projects/scots/git/src/Languages.txt 1453377174 0 /Users/rungger/Documents/projects/scots/git/src/Languages.txt
/Users/rungger/Documents/projects/scots/git/src/TicToc.hh 1445805982 1 TicToc
......@@ -83,9 +83,9 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicSet.remPolytope"></a>remPolytope</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 remPolytope(</td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>size_t&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>p,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>H,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>h,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>ApproximationType&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>type</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>remove grid points that are in polytope P = { x | H x &lt;= h }</p><h4 class=CHeading>Input</h4><table border=0 cellspacing=0 cellpadding=0 class=CDescriptionList><tr><td class=CDLEntry>p</td><td class=CDLDescription>number of halfspaces</td></tr><tr><td class=CDLEntry>H</td><td class=CDLDescription>is a double vector of size dim*p which contains the normal vectors n1...np of the half spaces.&nbsp; H = { n1, n2, n3 ... np }</td></tr><tr><td class=CDLEntry>h</td><td class=CDLDescription>double vector of size p</td></tr><tr><td class=CDLEntry>type</td><td class=CDLDescription>approximation type is either INNER or OUTER:</td></tr></table><ul><li>INNER -&gt; grid points whose cells are completely contained in P are <b>removed</b> from the symolic set</li><li>OUTER -&gt; grid points whose cells overlap with P are <b>removed</b> from the symolic set</li></ul></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicSet.addEllipsoid"></a>addEllipsoid</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 addEllipsoid(</td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>L,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>c,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>ApproximationType&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>type</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>add grid points that are in ellipsoid E = { x | (x-c)&rsquo; L&rsquo; L (x-c) &lt;= 1 }</p><h4 class=CHeading>Input</h4><table border=0 cellspacing=0 cellpadding=0 class=CDescriptionList><tr><td class=CDLEntry>L</td><td class=CDLDescription>is a double vector of size dim*dim so that L&rsquo;*L is positive definit</td></tr><tr><td class=CDLEntry>c</td><td class=CDLDescription>double vector of size dim containing the center of the ellispoid</td></tr><tr><td class=CDLEntry>type</td><td class=CDLDescription>approximation type is either INNER or OUTER:</td></tr></table><ul><li>INNER -&gt; grid points whose cells are completely contained in E are <b>added</b> to the symolic set</li><li>OUTER -&gt; grid points whose cells overlap with E are <b>added</b> to the symolic set</li></ul></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicSet.addEllipsoid"></a>addEllipsoid</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 addEllipsoid(</td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>L,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>c,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>ApproximationType&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>type</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>add grid points that are in ellipsoid E = { x | (x-c)&rsquo; L&rsquo; L (x-c) &lt;= 1 }</p><h4 class=CHeading>Input</h4><table border=0 cellspacing=0 cellpadding=0 class=CDescriptionList><tr><td class=CDLEntry>L</td><td class=CDLDescription>is a double vector of size dim*dim so that L&rsquo;*L is positive definite</td></tr><tr><td class=CDLEntry>c</td><td class=CDLDescription>double vector of size dim containing the center of the ellispoid</td></tr><tr><td class=CDLEntry>type</td><td class=CDLDescription>approximation type is either INNER or OUTER:</td></tr></table><ul><li>INNER -&gt; grid points whose cells are completely contained in E are <b>added</b> to the symolic set</li><li>OUTER -&gt; grid points whose cells overlap with E are <b>added</b> to the symolic set</li></ul></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicSet.remEllipsoid"></a>remEllipsoid</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 remEllipsoid(</td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>L,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>c,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>ApproximationType&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>type</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>remove grid points that are in ellipsoid E = { x | (x-c)&rsquo; L&rsquo; L (x-c) &lt;= 1 }</p><h4 class=CHeading>Input</h4><table border=0 cellspacing=0 cellpadding=0 class=CDescriptionList><tr><td class=CDLEntry>L</td><td class=CDLDescription>is a double vector of size dim*dim so that L&rsquo;*L is positive definit</td></tr><tr><td class=CDLEntry>c</td><td class=CDLDescription>double vector of size dim containing the center of the ellispoid</td></tr><tr><td class=CDLEntry>type</td><td class=CDLDescription>approximation type is either INNER or OUTER:</td></tr></table><ul><li>INNER -&gt; grid points whose cells are completely contained in E are <b>removed</b> from the symolic set</li><li>OUTER -&gt; grid points whose cells overlap with E are <b>removed</b> from the symolic set</li></ul></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicSet.remEllipsoid"></a>remEllipsoid</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 remEllipsoid(</td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>L,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap>c,</td></tr><tr><td></td><td class=PTypePrefix nowrap>const&nbsp;</td><td class=PType nowrap>ApproximationType&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>type</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>remove grid points that are in ellipsoid E = { x | (x-c)&rsquo; L&rsquo; L (x-c) &lt;= 1 }</p><h4 class=CHeading>Input</h4><table border=0 cellspacing=0 cellpadding=0 class=CDescriptionList><tr><td class=CDLEntry>L</td><td class=CDLDescription>is a double vector of size dim*dim so that L&rsquo;*L is positive definite</td></tr><tr><td class=CDLEntry>c</td><td class=CDLDescription>double vector of size dim containing the center of the ellispoid</td></tr><tr><td class=CDLEntry>type</td><td class=CDLDescription>approximation type is either INNER or OUTER:</td></tr></table><ul><li>INNER -&gt; grid points whose cells are completely contained in E are <b>removed</b> from the symolic set</li><li>OUTER -&gt; grid points whose cells overlap with E are <b>removed</b> from the symolic set</li></ul></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicSet.printInfo"></a>printInfo</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 printInfo(</td><td class=PType nowrap>int&nbsp;</td><td class=PParameter nowrap>verbosity</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PAfterParameters nowrap>) const</td></tr></table></td></tr></table></blockquote><p>print some numbers related to the symbolic set</p></div></div></div>
......
......@@ -13,7 +13,7 @@ Requirements
- The CUDD library by Fabio Somenzi, which can be downlaod at
'http://vlsi.colorado.edu/~fabio/'.
SCOTS uses the dddmp and C++ wraper of the CUDD library.
SCOTS uses the dddmp and C++ wraper of the CUDD library.
We successfully use cudd-3.0.0 which we configured with
......
......@@ -810,7 +810,7 @@ public:
* E = { x | (x-c)' L' L (x-c) <= 1 }
*
* Input:
* L - is a double vector of size dim*dim so that L'*L is positive definit
* L - is a double vector of size dim*dim so that L'*L is positive definite
* c - double vector of size dim containing the center of the ellispoid
* type - approximation type is either INNER or OUTER:
* - INNER -> grid points whose cells are completely contained in E are *added* to the symolic set
......@@ -827,7 +827,7 @@ public:
* E = { x | (x-c)' L' L (x-c) <= 1 }
*
* Input:
* L - is a double vector of size dim*dim so that L'*L is positive definit
* L - is a double vector of size dim*dim so that L'*L is positive definite
* c - double vector of size dim containing the center of the ellispoid
* type - approximation type is either INNER or OUTER:
* - INNER -> grid points whose cells are completely contained in E are *removed* from the symolic set
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment