Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Roqc/engine/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 3 kB image not shown  
/tr>

<p>In this section we show all Francy Graph Representations.</p>

<>aid"name="<a>pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<h5>6.3-1 IsFrancyGraphRep</h5>

d classfunc class"func"="10%"><><td="tdleft>#227IsFrancyGraphRep)t>>&;filter<td/r<table>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<>Checks< =code" a < =code>/>internal



<p><a id="X7998221386C4DBA0" name: =""<> < class></code>

<>.-2 </h5

<div class="func"><< =""name"
<p>

<p>Checks <ivfuncclass="0%>trtd=tdleft">< class&827 </codevar=Arg<v>td="tdright">(nbsp )/></r<table/>

<p><a id="X7F60FE3F8620C142" name="p: class="">
<<>

<>33</h5

<p=X854F96047963F6FC/<>
<p>Returns:java.lang.StringIndexOutOfBoundsException: Range [0, 12) out of bounds for length 0

<p>Checks whether an <code class="code">Object</code> has a <code class="code">GraphType</code> internal representation.</p>

p =java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 62

<h5>6.3-4<p>< idX79A97344830D8E8C="X79A97344830D8E8C"<>p

<div class"table" ="10%>tr< =tdleft"< class>#2;</code var="adright(; />/>table
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>Checks whether an <code class="code">Object</code> has a <code class="code">Shape</code> internal representation.</p>

<p><a id="X79A97344830D8E8C" name="X79A97344830D8E8C"></a></p>

<>635 </h5

< ="tableclass="func100%>tr">">‣ IsShapeDefaultsRep(< class="Arg><>)/)/>/>/ablejava.lang.StringIndexOutOfBoundsException: Index 225 out of bounds for length 225
<p

<C whether code=>  a < classcode></code internal./p>

<p><a id="X865567BF7B5CA57E" name="X865567BF7B5CA57E"></a></p>

<h5>6.3-6 IsShapeTypeRep</h5>

<div class="func"><table class="func" width> whether an class"hasa code =code"ShapeType>internal .<p
<p>Returns: <code>aid=" ="X7841EC887ECC274F>p

<> whetheran< class></codehascode="code"ShapeType>  representation/>

<p><a id="X7841EC887ECC274F" name="X7841EC887ECC274F"></a></p>

<h5>6.3-7 IsLinkRep</h5>

< class"tableclass""width"1%>> =tdleftfunc">#27 IsLinkRep(< class="Arg</ar/td"">( &;/><>/></>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></

<p>Checks whether an <code class="code">Object</code> has a <code class="code">Link</code> internal representation.</p>

<p><a

<h5>6.3-8 IsLinkDefaultsRep</h5>

< class"table="unc"100%"<tr><tdclasstdleftcode="func"&827 IsLinkDefaultsRep</code <var class"Arg">rgvar> )</ classtdright>(&;filter;)<td/<table>
<p>Returns: <code class="keyw"><p>class"true/ode ">false



< whethercodeclass=code">Object has a "LinkDefaults internalrepresentation./p>

<p><a idX7DE8E16C7C2D387B name""></a></p>

<h4>6.4 <span class=<>6.4 span="Heading"Operations<h4

<p>In this section we  allFrancy Graph.</p

<p< id"X87510C7F82CAE1B2" name">



<h5>6.4-1 Graph</h5h56.- </h5>

< ="">< class ="10"<><td=tdleft class">#82>( IsFrancyGraphType/var>,>IsFrancyGraphDefaults>] )</td classtdright operation;)</></tr></iv>
<p>Returns: <code class="code">Graph</code></p>

<p>Every object will be a subclass of this <code class="code">Graph</code>. All the objects contain the same base information.</p<p>Returns <ode="code">Graph</code</pjava.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47

<p>Examples:</p

<p>java.lang.StringIndexOutOfBoundsException: Range [0, 9) out of bounds for length 0


<div class="example"><pre>
<span div="example>prejava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
<span class="GAPprompt">gap></span> <span class="GAPinput">SetSimulation(graph, false);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">shape1 := Shape(ShapeType.SQUARE);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">shape1!.layer := 1;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">shape2 := Shape(ShapeType.TRIANGLE);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">shape2!.layer := 3;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">link := Link(shape1, shape2);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Add(graph, link);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Add(graph, [shape1, shape2]);</span>
</pre></div>

<p>Create a simple <code class="code">Graph</code> of type <code class="code">GraphType.UNDIRECTED</code> with simple <code class="code">Shape</code> <p>Create a simple<code class="code">Graph/code>of <code="">.UNDIRECTED</code with <code class="code">Shapecode> and with class"TriggerEvent. class="codeCallbackp


<iv="example"<>
span="GAPprompt">></pan class=GAPinput = GraphUNDIRECTEDs>
<panclass"GAPprompt">gap></span> <span="GAPinput">shape= Shape(.SQUARE)</span
span="GAPprompt">gapgt</span> <spanclass="GAPinput"> := function()Add(graph Shape(ShapeType.Circle); graph; end</pan
<gap></span><span class="GAPinput">callback=CallbackTriggerTypeRIGHT_CLICK ;span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Add(shape, callback);</span>
<t;</span<pan="GAPinput">Add(graphshape);</span
</pre>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id="X7A5B92FD8060E2E8" name="<>emoves nodes from a .

<h5>6.4<>6.4-3 UnsetLinksh5

<div class=<divclass="func"><table="func width=10%"<tr><td class="dleft">codeclassfunc ;UnsetLinks</code>( < class""><var/(nbspnbsp><table</div
<p>Removes all nodes from a graph.</p<p><a id="X7ABC7BC987B81777" ="X7ABC7BC987B81777"><a><p>

<p><a id="X7E210E5D871147DE" name="X7E210E5D871147DE"></a></p>

<h5>Returns< classcode>raph<code/

<div class="func"><tablep> <codeclass"IsLink/ specific Graph


<p>Removes all nodes from a graph.</p>

<p><a id="X7ABC7BC987B81777

6.4-5 Remove


<56.4-Add>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣
<p>Returns: <code class="code">Graph</code></p>

<p>Add <code class="code">IsLink</h5.46Add>

<< =" name="78></></>

<h5>6.4-5 Remove<p>: <codeclassGraph<><p

<div class="func"><tableAdd code="code"<code  < ""Graph.</pjava.lang.StringIndexOutOfBoundsException: Index 91 out of bounds for length 91
<p>Returns: <code class="code">Graph<<5>.- Remove>

<p>Remove classcode>IsLink>from <codeclass">raph
.



<p><a id="X7A2C8F337BB5026D" name="X7A2C8F337BB5026D"></a></p>

<h5>6.4-6 Add</h5>

<div class="func"><tableRemove classcode>sShape/>  a specific class""></code.p
<p>Returns: <code class="code">Graph</code></p4D1>/>

<p>Add <code class="code">IsShape</code> to a specific <code <5>6.-8Shape>

<p><a id="X821273BA7F4DA924" name="p>: ">



<h547Remove</h5>

<div class="<>X83660FEB862437FB=X83660FEB862437FB<>/>
<p>Returns: <code class="code">Graph</codeh5.9GetShape>

<code   specific="Graph



<p><a id="X7D357B107D4949D1" name="X7D357B107D4949D1"></a></p>

<h5>6.4-8 Shape</h5>

< class"tableclass" width=1%>tr class"">< class"&( le "IsShapeDefaults"(nbspoperation&;
/tr>
<p>Returns: <code class="code">Shape</code></p>

<p>Gets a <code class

<p><a id

<h5>6.4-10 GetShapes</h5>

<div class="func"><table class"< class=="" width=10%">tr< class"< =func>#822 /ode>varclass=Arg"IsShape/var,<ar class="rg>IsMenu>List

<p>Gets a <code class="code">Shape</code> node from a <code class="code">Graph</code> by ID.</p>

<p><a id="X7EF659877F394CA8" name="X7EF659877F394CA8"></a></p>

<h5>6.4-11 Add</div="func">table="" width10">tr">#8227 Remove < class"">IsMenu(IsMenu)] )/td>

Quelle  chap6.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/francy/doc/chap6.html


encoding >

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (Francy) - Chapter 6: Francy Graphs</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></scriptscript ="manual.js" type=textj><cript
<cripttype"texttext"()/java.lang.StringIndexOutOfBoundsException: Range [57, 58) out of bounds for length 57
</head>
<body class="chap6"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="

<p id="mathjaxlink" class="pcenter"><a href="chap6_mj.html">[MathJax on]</a></p>
<p><a id="X78CA6E5887373DA8" name="X78CA6E5887373DA8"> class"java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
< =java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 110
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7CC6903E78F24167">6.1 <span class="Heading">Categories</span></a>
</span>
<div class="ContSSBlock">
<span =">
< class"
&;&;<s><a =.htmlX7806CCD67F4EB26061 IsFrancyGraph/<span
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X87CD35308569DAE1">6.1-2 IsFrancyGraphType</a></java.lang.StringIndexOutOfBoundsException: Range [0, 138) out of bounds for length 133
<span class="ContSS"><br /><span class="nocss">  </span=ContSS/< class"  E7B94E24E>.6IsShapeDefaults/>spanjava.lang.StringIndexOutOfBoundsException: Index 137 out of bounds for length 137
<span class="ContSS"><br /><span class="nocss">  </span><<span class="ContSS"><br /><span class="nocss">  </span><a</a<spanjava.lang.StringIndexOutOfBoundsException: Index 136 out of bounds for length 136
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8424B5618458E11A">6.1-5 IsShapeType</a></span>
<span class="ContSS"<br/spanclass">  .1- IsShapeDefaults/a/>
<span class="ContSS"><br /><span class="nocss">  </span/span
spanclass="ContSS>span class="nocssnbsp;spana =chap6.html"6.1-8

</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X846063757EC05986">6.2 <span class="Heading">Families</span></a>
</span>
</>
<div class="ContSect"><spanspan class""><br>span =nocss &&;<spana =".htmlX854F96047963F6FC">6.3-4 IsShapeRep</a></span>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  span class"">< /><class
class"">br> ="">nbsp;</spana hrefchap6html#7926C4DBA032 IsFrancyGraphDefaultsRep><<s>
class>br>< =""> nbsp<span<a =".htmlX7F60FE3F8620C142>-3IsFrancyGraphTypeRep

<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X854F96047963F6FC">6.3-4 IsShapeRep</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X79A97344830D8E8C">6.3-5 IsShapeDefaultsRep</a></span>
<spanclass""><span="tocline"<span=nocss>;</span< href.X7DE8E16C7C2D387B64< class"Heading">Operations</span></a>
<span class="ContSS"><br /><span class="nocss">&</span>
<span class="ContSS"><br /><span class="nocss">  <spanclass""><br /><span class="nocss"> nbsp<span>a href=".html#
</div></div>
<div class classContSS>span>;&;/pan =chap6".<a>span
</span>
<div class=" class="">br>span =nocss &;ahref"chap6#X7ABC7BC987B81777>.- <a>/span
<span classspan ="ContSS">br/<spanclass=nocss>nbspnbsp</>a hrefchap6#">>645Remove<
<span="ContSS> < class="nocss">  .4-2nsetNodes

<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7E210E5D871147DE">6.4-3 UnsetLinks</a></span>
< class""><br/< class=""">nbspnbsp;chap6#X7ABC7BC987B81777>.444Adda>/>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7978AEF88748A068">6.4-5 Remove</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7A2C8F337BB5026D">6.4span="ContSS"><r/<=nocss;/>ahref=chap6#X83660FEB862437FB.9>span
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X821273BA7F4DA924">6.4-7 Remove<<span class="ContSS"><r />span="nocss">  </span<a hrefhtml"641Add

">br/<; < href="chap6#">6.4-
<span class="ContSS"><br /><span class="nocss">  </span><a href="&; .- /
<span class="ContSS"><br /><span class="nocss"""><br>spanclass=nocss nbsp<span>< href=chap6>4-1 </a><>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7EF659877F394CA8">6.4-11 Add</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href class"br />nbsp;nbsp;><br /><span class="nocss">  </span><a href="chap6.html#X7DDA822185BE37C7">6.4-13 Add</a></span>
< class> /span=""&;<chap6".-4
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7D44790C7E3DD809">6.4-15 Add</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X854D516B7E81D53F">6.4-16 Remove</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7A324F527BCA3207">6.4-17 Link</a></span>
< class"< >spanclass=>nbsp .html" Links

<span class="ContSS"><brspan="ContSS"><br>span="nocss>nbsp;nbsp.#java.lang.StringIndexOutOfBoundsException: Range [104, 103) out of bounds for length 127
<span class="ContSS"><br />span="nocss" </spanahrefhtml>.- SetTitle/>/pan
<divdiv>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X8690E870823975F3">6.5 <span class="Heading">Global</span></a>
<pan=">br /nocss&<spanchap6.#X86780CBD85B39F726 />/span
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7C701DBF7BAE649A">6.6 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
span">/">  
href"
chap6.htmlX83D2C91985CF0C3D">.61 Title/>
<span class="ContSS"><br class">br/<=nocss>  .htmlX7F60BE7583BFDD29.-PosX</>
< class"ContSS"< >span""&;nbspspan=chap6#X7B25A8097AE1AC646- </a</pan
<span class="ContSS"><br /><span class="nocss"span="ContSS">br/< class""&;nbspspana =".#66-10 PosY/a>
span=ContSSbr >span="">nbsp;a="chap6.htmlX86780CBD85B39F72"6-5</a<>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7BCBDC2D84487FE9">6.6-6 <span="ContSS"><br/>< class=""> nbsp/>< hrefchap6X7A044BEB8590C9066.613 Size<span
 ="br>span class=""> bsp;nbsp<>< =".html">66-7 PosX
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7F60BE7583BFDD29">6.6-8 PosX</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X78A2408384F94449">6.6-9 SetPosX</span="ContSS>br >< =nocss> &;/> =chap6htmlX82452F5F8205546C>.-7Layer
/>

<span class<panclass="ContSS>
nbsp&;/span>.html#X8057C33487656604"6-9ParentShapespan
<span="ContSS">< /><span class"nocss"&;&;/>ahref.html#X82B9D3ED78341B5F>.-1<a</pan
<spanclassContSS<br>span=""&; </spana href="chap6.html#X85DC68867E9E34F2">6.61 SetPosY><span
< class>br/< class""> </spanahrefhtml6- </a<span
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7A044BEB8590C906">6.6-14 Size</a></spanspan="ContSS">< / ="&; .-3Simulation/>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7F2308F18216D0DF">6.6-span=""><br /<span ="">&;&;</><hrefchap6X80AF2B5D7A029564-5Collapsed<a<span
<span ""> > class&;/>< =".#X8798FA78848FFA03>.6- java.lang.StringIndexOutOfBoundsException: Range [125, 124) out of bounds for length 135
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X82452F5F8205546C">6.6-17 Layer</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X865A2CCC7B7310AF">6.6-18 SetLayer<pan class="ContSS"><br /><pan class"&; 
>6.6-30 SetSelected</a></span>
<span class=ContSSbr >span=nocss&; </><a hrefchap6X8057C33487656604.-1 ParentShapea></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8057C33487656604">6.6-20 ParentShape</a></span>
s class>brspan="nocss"&;nbsp/span =chap6.html">6.6-1 /span>>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7C3653757FEE9F72">6.6-22 Simulation</a></span>
<span=ContSS /span"ocss>nbsp&;662 SetSimulation</<span
<span class="ContSS"><br /><span class="nocssContSS>br/<pan"ocss"&; </span><ahref3 </a><span
<span class="ContSS"><br /><span class="nocss">  s>< =".html#X80AF2B5D7A029564". </>>
class="&; chap6.html">66-7SetCollapsed
/spanjava.lang.StringIndexOutOfBoundsException: Index 135 out of bounds for length 135

span="">< >span="nocss">nbsp;spanhrefchap6"662 /><>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X816339857B1118EC">6.6-29 Selected</a></span>
s class"
>nbsp/><ahref.htmlX7FDA75868647E405SetSelected/>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7D9DF25C82FCA1D9">6.6-31 ConjugateId</a></span>
span="< />><br /><span class="nocss">  class"< /span class=nocss>&;nbsp;>.-1Invisible</a></pan
<span ="ContSS">br /< classnocss; spana ="chap6.htmlX80FA3A2E807481DE"6.-4 </a></>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X80FA3A2E807481DE">6.6-35 Weight</a></span>
< classContSS">><br /><span class="nocss">  </span><a href="chap6.html#X811D69FC859667AE">6.6-37 Length</a></span>
< class"ContSS>br>spanclass""&; /span>
><br /><span class="nocss">  </span><a href="chap6.html#X7EFC492284D4C053">6.6-39 SetLength</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8225EFFA78C9BF04">6.6-40 Invisible</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8225EFFA78C9BF04">6.6-41 Invisible</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X836B3DE1838580F9">6.6-42 SetInvisible</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X859C4ED278422D03">6.6-43 Color</a></span>
<span class="ContSS"><br /><span
<span="ContSS"><br /> class="nocss">  </span><a href="chap6.html#X84FF9CBB85CAF4A6">6.6-45 SetColor</a></span>
<span class="ContSS"><br /><span class="nocss">  </span
spanContSS> class"">; <spanahref="hap6html#X7F041B5D783EBE4C"6-47 <a<java.lang.StringIndexOutOfBoundsException: Index 128 out of bounds for length 128
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
</div<div
</div>

<h3>6 <span <p>Please Francy-JS for implementationp

<p>a idX7CC6903E78F24167 name="X7CC6903E78F24167>


<p>Please seeh46. span="Heading">Categories>h4

pIn  weshow Francy Categories

<p>

< class">Categories

<p>In

<p>a ="X7806CCD67F4EB260"name"/p>

<h5>6.1-1 IsFrancyGraph</h5>

<div class="func"><table class="func" width="100%"><<ivclass="func"><ableclass"" width="100%"><r><td="dleft">codeclassfunc&827; IsFrancyGraphcode(< class="Arg"></var></><td ="tdright">&;filternbsp/td></tr>/table>
<p>Returns: <code class="keyw">true</code> or

<p>Identifies div="func"table""width00%>tr "tdleft>codeclass"">RIsFrancyGraphType < class=Arg"arg> )/><td="tdright>&;&;)/table>

<p><a id="X87CD35308569DAE1" name=p< ="X7D895F0886106B52 name="D895F0886106B52/<p

<h5>6.1-2 IsFrancyGraphType</h5>

< class< class="func"width"100%"<><td="tdleft">code="func">̻ <code>( <varclass"rg"arg<var )</td>td class"tdright"(nbspnbsp<td</tr></table></div>
<p>Returns: <code class="keyw">true</code> or /odeobjects.</>

<p>Identifies <code class="code">GraphType</code> objects.</p>

<p><a id="java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 22

<h5>6.1-3 IsFrancyGraphDefaults</h5>

<div class="func"><table class="func" width="100%pReturns codeclass"keyw">true"false/ode
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>Identifies <code class="code">java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id="X85CE7A9B82029355" name="X85CE7A9B82029355"></a></p>

<h5>6.1-4 IsShape</h5>

<div classfunc< class="" width10%">
&82;IsShapeTypeclass">arg)/d< class="tdrightn;&;</>/r<tablediv
<Returns< class=keyw</code>or<code="keyw">falsecode></>

<p>Identifies <code class="code">Shape</code> objects.</p>

<p><a id="X8424B5618458E11A" name="X8424B5618458E11A"></a></p>

>

< class< class="0"<> class"< class""&82;/> var =Arg">arg</td><td="tdright>&&)>tr<
/

<p>Identifies <code class="code">ShapeType</code> objects.</p>

<p><a id="X793EF06E7B94E24E" name="X793EF06E7B94E24E"></a><java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<="> class="" width"0%>td"&82;IsShapeDefaults(nbsp)>/r<tablejava.lang.StringIndexOutOfBoundsException: Index 222 out of bounds for length 222
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>Identifies <code class="code">ShapeDefaults</code> objects.</p>

<>a="X8535990579CB5DAC"" name="55959"

<h5>6.1-7 IsLink</h5p< ="X849B921B7F2F5D3C "X849B921B7F2F5D3Ca</>

ss"func "><><td="tdleft>class">#827 </code>< class"">arg> )/><td="tdright> &;
/r/>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>Identifies <code class="code">Link</code> objects.</p>

<p><a id="X849B921B7F2F5D3C" name="X849B921B7F2F5D3C"></a></p>

<h5

<div class="func"><table class="func" width="100%"><tr><td
<p>Returns: <code class="keyw">true</code> or

<p>Identifies <code class="java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><id"name"java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 62

<h4span=""></span>

<>nthis we all Graph./>

<p><a id>631IsFrancyGraphRep>

<h4>6.3 <span=func=""width0%>tr="">code=func8;</>(Arg</var/d> class"(&bsp;ilter&;)
/table>divjava.lang.StringIndexOutOfBoundsException: Index 305 out of bounds for length 305
<p>Returns: <code class

<p>Every

<p>a id"name"">/p

<h5>6.4-9 GetShape</h5>

div="< =func" width0%>tr><tdclass">codeclass"">‣GetShape>(< class"Arg"IsFrancyGraph,< ="IsStringclass=""(nbspoperation&;)
tdrightnbsp;/<tr</>

<div class="func"><table class="funcjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>Returns: <code class="code">Shape</code></p>

<p>Add a <code class="codejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id="X85BF74EF7F7666CC" name="X85BF74EF7F7666CC"></a></p>

<h5>6.4-

<divclass""><table="" width0%>tr class"tdleft"< =func&27 Remove< =Arg>/ar class">IsMenu, ">List() )/;operation )

<p>Returns: <code class="code">Shape</code></p>

<>Remove< class"code">enu>  a specific classcode>Shape</code></>

>aid"="><a<pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<h5>6.4-13 Add</h5>

<div class class> class"width10"<><td=">func27 /odec=">IsShape(IsCallback>])/><td=tdright&;operation;)td></></>
<p>Returns: <code class="code">Shape</code></p>

<p>Add a <code class="code">Callback</code> to a specific <code class="code">Shape

<p><a id="X86EED52F83DD8267" name="X86EED52F83DD8267"></a></p>

<h5>6.4-14

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class
<p>Returnscodeclass"Shape/>/p>

<p>Remove a <code class="code">Callback</code> from a specific <code class="code">Shape</code>.</p>

<p><a id="X7D44790C7E3DD809" name="X7D44790C7E3DD809"></a></p>

<h5>6.4-15 Add

<div class="func"><table class="func" width=<< ="X854D516B7E81D53F"X854D516B7E81D53Fa<pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
<p>Returns: <code class="code">Shape</code></p>

<p>Add a <code class="code">Callback</code> to a specific <codepReturns =""></codep>

<p><a id="X854D516B7E81D53F" name="X854D516B7E81D53F"></a></p>

<h5>6.4-16 Remove</h5>

d < class"width"10"
">< class"">Remove<(Arg>/>,var">IsFrancyMessage/>, ListIsFrancyMessage>Shape</code></p>

<p> a <codeclass=codeCallback  a specific =code"Shape/>./p>

<p><a id="X7A324F527BCA3207" name="X7A324F527BCA3207"></a></pCreatescode="code"Link edgethecode""Shape./

<h5>6.4-17 Link</h5>

<div class="func"><table class="func" width="10java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
pReturns <=">

<p>Creates a <code class="code">Link</code> or edge between the two <code class="code">Shape</code>.</p>

<p><a id="X7E90E1F17F599D08" name="X7E90E1F17F599D08"></a></p>

<h5>6.4-18 Links</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 52
<p>Returns: <code<>Createsa <codeclass"ode>Link or edge between the code">Shape/> the first list and the < class=code"></code  the list/java.lang.StringIndexOutOfBoundsException: Index 177 out of bounds for length 177

<p>Creates a <code class="code">Link</code> or edge between the <code class=<5641 GetLink</5java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23

<p><a id="X8273378F7F00BF6A" name="X8273378F7F00BF6A"></a></p>

<h5>6.4-19 GetLink</h5>

<div class="func"><table class="func" width="10java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>Returns: <code class="code">Link</code></p>

<p>Gets a <code class="code">Link</code> or edge from<><aid"X7B7ACA577E80B8E3""name">/</>

<p><a id="X7B7ACA577E80B8E3" name="X7B7ACA577E80B8E3"></a></p>

<h5>6.4-20 GetLinks</h5>

<div class="func"><table class="func" )</code</>
p>:  class"ListLink

<p>Gets a <code class="code">Linka=X8690E870823975F3="><>/p>

<p< ="X8690E870823975F3 =X8690E870823975F3"<a<pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<>6. <pan="Heading">Global/></h4>

<p>In this section we show all Global Callback Francy Records for multi purposep>="X7C701DBF7BAE649A"name"

<p><a id="X7C701DBF7BAE649A" name="X7C701DBF7BAE649A"></a></p>

<h4>66 <spanclass="Heading">Attributesspanh>

<p>In this <p><aidX83D2C91985CF0C3D ="X83D2C91985CF0C3D"><a<pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

p<a id="83D2C91985CF0C3D" =X83D2C91985CF0C3D/java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<h5>6.6-1 Title</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Title</code>( <var class class="code">IsString</code> with the title the </p>
<p>Returns: <code class="code">IsString</code> with the title of the object</p>

<p>Sets the <code class="code">Shape</codelabel title. Supports TeX syntax and will

<p><a id="X83D2C91985CF0C3D" name="X83D2C91985CF0C3D"></a></p>

<h5>6.6-2 Title</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code<>< id="" name=X7B25A8097AE1AC64</>/
<p><a id="X7B25A8097AE1AC64" name="X7B25A8097AE1AC64"></a></p>

<h5>6.6-3 SetTitle</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft">
<p>Sets the <code class="code">Shape</codelabel title.</p>

<p><a id="X86780CBD85B39F72" name="X86780CBD85B39F72"></a></p>

<h5>6.6-4 Color</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class


<p>The <code class="code">Color</code> of the current <code class="code">Shape</code>. This should be an hexadecimal colour value, e.g.: #

<p><a id="X86780CBD85B39F72" name="X86780CBD85B39F72"></adiv="unc< class="" width=10"<>td">func2<code< =Arg)/dtd">( operation />


<h5

< ="func">table="func"width10""< ="func#27;Colorcode<ar=Argarg1var<td< class"tdright"">( peration />
<p><a id="X7BCBDC2D84487FE9" name="X7BCBDC2D84487FE9"></a></p>

<h5>6.6-6 SetColor</h5>

<div ="func">tableclass"" ="100">tr<tdclass="tdleft>code class=func">#27 SetColorcode>(<var class">IsShape var class"">)/td< class"tdright"( operation&bsp;)/div>
<pSets < classcodeColor> value. This should an colour, eg. ff0000

<p><a id="X7F60BE7583BFDD29" name="X7F60BE7583BFDD29"></a></p>

<h5>6.6-7 PosX</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PosX</code>( <var class="Arg">arg</var> )</td><td class="tdright">( attribute )</tdjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<>Returns:< classcode></code><p

<p>The Position in the X Axis of the <code class="code">Shape</code> in the <code

<p><a id="X7F60BE7583BFDD29" name="X7F60BE7583BFDD29"></a></p>

<h5>6.6-8 PosX</h5>

<div class="func"><table class="func" width
<p>< id="X78A2408384F94449 "X78A2408384F94449a></p>

<h5>6.6-9 SetPosX</h5>

<divjava.lang.StringIndexOutOfBoundsException: Range [10, 6) out of bounds for length 251
<>ets Position theXAxis  <code="code"Shape> in < class"code">Canvasc> inpixels/p

<p><a id="X82B9D3ED78341B5F" name="X82B9D3ED78341B5F"></a></p>

<h5>6.6-10 PosY</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PosY</code>( <var java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<

<The in YAxis the classShape in < class"ode><> pixels.



<p><a id="X82B9D3ED78341B5F" name="X82B9D3ED78341B5F"></a></p>

<h5>6.6-11 PosY</h5>

<iv="unc"< classfunc="10%>tr""&827 (nbspnbsp<tr>/>
<p><a 

<h5>6.6-12 SetPosY</h5>

<div class="func"><table classh566-1 PosY</h5
<p>Sets the Positiondivclassfunctable="func" width10"code "unc#2;PosY( <var class">arg1
) name=

<<h5

< class< classfunc="00%"trtdleft =func>#827Size>( var">arg )tdright">&;attribute )/td>/table>
<p>Returns: <code class="code">IsPosInt</code></p>

<p>The <code class="code">Size</code> of the <code class="code

p<id"="">/>



<h5>6.6-14 Size</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Size</code>( <var class="Arg">arg1</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p><aid="X7F2308F18216D0DF" name="X7F2308F18216D0DF"></a></p>

<h5>6.6-15 SetSize</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SetSize</code>( <var class="Arg">IsShape</var>, <var class="Arg">IsPosInt</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Sets the <code class="code">Size</code> of the <code class

<p><a id="X82452F5F8205546C" name="X82452F5F8205546C"></a></p>

<h5>6.6-16 Layer</h5>

<div class="func"><table classh56-15</>
<p>Returnscode classcode></code><p>

<p<ode class"code">Layer/> inwhich nodewillbeplaced.This property might be to apply  different colordependingonthe layer .Dependsonthe java.lang.StringIndexOutOfBoundsException: Range [210, 190) out of bounds for length 210

<p><a id=

<>6.-1<h5

<div class="func"><<>6.6-16 Layer</h5>
<p><a id="X865A2CCC7B7310AF" name="X865A2CCC7B7310AF"></a></p>

<h5>6.6-18 SetLayer</h5>

<<tableclassfunc ="00%">tr ="tdleftcode class="func>#8227 SetLayercode( <java.lang.StringIndexOutOfBoundsException: Range [123, 122) out of bounds for length 252
<p>Sets the <code class="code">Layer</code> number on a <code class="code">Shape</code>.</p>

<p><a id="X8057C33487656604" name="X8057C33487656604"></a></p>

<h5>6.6-19 ParentShape</h5>

<div class="func">pa ="X82452F5F8205546C" name="X82452F5F8205546C"></a></p>
<p>Returns: <code class="code">IsShape</code></p>

<p>The <code class="code">ParentShape</code> in which the node will be placed. This property might also

<p><a id="X8057C33487656604" name"X8057C33487656604""a

<h5>6.6-20 ParentShape</h5>

<div class="func"><table class="func" width="100%"><tr><td class
<p><a id="X7EEEDB5385F0FDC2" name="X7EEEDB5385F0FDC2

<h5>6.6-21 SetParentShape</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>Sets the <code class="code">ParentShape</code>h5>66.-1 ParentShape/h5>

<p< id"name="">

<h5>6.6-22 Simulation

<div class="func"><table class
<p>Returns: <code class="code">IsBool</code> True if enabled otherwise False</p>

<p<odeclasscode>Simulation</code> is a property sets the simulation behavior applying forces to organize thegraphicswithouttheneedto custom positionsontherenderedGUI.Depends onthe client implementation.</pp>

<p><a id="X7C3653757FEE9F72" name="X7C3653757FEE9F72"></a></p>

<h5>6.6-23 Simulation</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Simulation</code>( <var class
<aidX7A3901B97FAB1DC5=">a>/pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<h5>6.6-24 SetSimulation</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SetSimulation</code>( <var class=
<p>Sets the <code class="code">Simulation</code> behavior, as per de

<p><a id="X80AF2B5D7A029564" name="X80AF2B5D7A029564"></a></p>

<h5>6.6-25 Collapsed</h5>

<div=func">tr>td class="tdleft">></var<td =""(;&///>/>
<p>Returns: <code class="code">IsBoolp< =X7C3653757FEE9F72"

<p

<p><a id="X80AF2B5D7A029564" name="X80AF2B5D7A029564"></a></p>

<h5>6.6-26 Collapsed</h5>

<div class="func"><table class="func" width="100%"><tr
<p><a id="X8798FA78848FFA03" name="X8798FA78848FFA03"></a></p>

<h5>6.6-27 SetCollapsed</h5>

<div class="func"java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>Sets the <code class="code">Collapsed</code> behavior, as perjava.lang.StringIndexOutOfBoundsException: Range [0, 65) out of bounds for length 0

p<a d=X816339857B1118EC" ="X816339857B1118EC>a<p

<h5: <code="code"IsBool> True enabledotherwiseFalse>

<div class=<><ode="code"></code is property setscode class"Graph/ode>Tree to default .p
<p>Returns: <code class="code"><>< ="X80AF2B5D7A029564"nameX80AF2B5D7A029564/a>/p

<p><code<566-26Collapsed</h5

<p><a id="X816339857B1118EC" name="X816339857B1118EC"></a></p>

<h5>6.6-29 Selected</h5>

<div class="func"><table class="func" width="100%"><tr><td classp>< ="X8798FA78848FFA03"nameX8798FA78848FFA03/></>
<>< id="X7FDA75868647E405"nameX7FDA75868647E405</a</p>

<h5>6.6-30 SetSelected</h5>

<div class="func"><table class="func" width="100%"><trdivclass">class="width10%>tr class">&27 SetCollapsed( < class="Arg"IsCanvas,< class="ArgIsBool</var> )</tdtd=tdright)td>/able
<p>Sets the <code class="code">Selected

<

<h5>

<div=""><table="func" ="10%"tr =tdleftcode class="">RConjugateIdcode var="Arg> )(  />
<: codeclass=code></code True if otherwiseFalsejava.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80

<< ="code>ConjugateId propertyused codeclass"></> objects by default the.</>

<p><a id="X7D9DF25C82FCA1D9" name="X7D9DF25C82FCA1D9"></a></p>

<h5>6.6-32 ConjugateId</h5

divfunc =" ="00">
tdleft"‣ ConjugateId( arg1 )( operation )

<p><a id="X7DDBAECB874E7F40" name="X7DDBAECB874E7F40"></a></p>

<h56.6-33 SetConjugateIdh5

<div class="func"><table class="func" width="100%"><tr
<p>Sets the <code class="code">Conjugate</code> behavior, as per the description above.</p>

<p><a id="X80FA3A2E807481DE" name=<>Sets  <codeclass"Selected/> behavior, as per thedescription.



<h5>6.6-34 Weight</h5>

<div class""><tableclass="func width="10%">tr< =tdleft>code="func"&82; Weight var =Arg>>( attribute;/d<trtable>
<p>Returns: <code class="code">IsIntdiv classfunctable="func" ="10%">><tdclass> class>#27 </code(var=Arg</var</td ;attribute;)<td<tr/></>

<p>The <code class="code">Weight</code> of

<p><a id="X80FA3A2E807481DE" name="X80FA3A2E807481DE"></a></p

<h5>6.6-35 Weight

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Weight</code>( <var class="Arg">arg1</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p><a id="X830DCE657B6B1701" name="X830DCE657B6B1701"></a></p>

<h5>6.6-36 SetWeight</h5>

<div class
<pSets <codeclass" a or

<p><a id="X811D69FC859667AE" name="X811D69FC859667AE"></a></p>

<h5>6.6-37 Length</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft">
<pReturns:<code="">IsInt>p

<p>The <code class="code">Length</code> of the current <code class="code">Link</code> or edge.</p>

<p><a id="X811D69FC859667AE" name="X811D69FC859667AE"></a></p>

<h5>6.6-38 Length</h5>

<div class="func"><table class="func" class=""><table=""width10"""Weightjava.lang.StringIndexOutOfBoundsException: Range [121, 117) out of bounds for length 217
<p><a id="X7EFC492284D4C053

<h53 </h5>

<divclassfunctable=func="10%><>">code class="func>#882;S<><varclassArg">
< class=Arg"
IsIntvar </tdtd=""> operation;)<</d>/tr/div>
<p>Sets the <code class="code">Length</code> value on a <code class="code">Link</code> or edge.</p>

<p><a id="X8225EFFA78C9BF04" name="X8225EFFA78C9BF04"></a></p>

<h5>6.6-40 Invisible</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class class""< class=funcwidth10"">arg> )</d>td="">;nbsp<td/><table/java.lang.StringIndexOutOfBoundsException: Index 216 out of bounds for length 216
<p>Returns: <code class="code">IsBoolean</code></p>

<p>The <code class="code">Invisible</code> property of the current <code class="code">Link</code

<p><a id="X8225EFFA78C9BF04" name="X8225EFFA78C9BF04"></a></p>

h54</>

<div class="func"><table class="func" width="100%"><tr><td class=">6.6-39 SetLength
<p>>< id"" name"X836B3DE1838580F9"></a>/p>

<h5-2</>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SetInvisible
<p>Sets the>6.-0 Invisibleh5>

<p><a id class""><tableclass="func ="110">tr‣ Invisible( arg )( attribute )

<h5>6.6-43 Color</h5>

<divclass"func>table class=func" width=10%>tr<tdclasstdleft> ="func">𕢣 Color/code> <var class</var)/>td="tdright"">( attributenbsp;)/divjava.lang.StringIndexOutOfBoundsException: Index 215 out of bounds for length 215
<p>Returns: <code class="code">IsInt</code></p>

<p>The <code class="code">Color</code> of the current <code class="code">Link</code> or edge.</p>

<p><a id="X859C4ED278422D03" name="X859C4ED278422D03"></a></p>

<h5>6.6-44 Color</h5>

<div class="func"><table classp><aid="X836B3DE1838580F9" ="X836B3DE1838580F9"</a>/>
<p><a id="X84FF9CBB85CAF4A6" name="X84FF9CBB85CAF4A6"></a></p>

<h5>6.6-45 SetColor</h5>

<div ="">tableclass"unc width="100>trtd =tdleft>codeclassfunc">#82; SetColor/code( rg">IsShape/var> < class="Arg>sString<var )</td>tdclass""> operation&bsp<td>/></table</>
<p>Sets the <code class="code">Color</code> value on a <code class="code">inkcode or.<p

<>a =X7F041B5D783EBE4C" name="X7F041B5D783EBE4C>/a></p>

<h5>6.6-46 Title</h5>

<div class
<>Returns="

<p>The <code class="code">Title</code> of the current <code class="code">Link</<p>: <codeclass=code></code>/p

<p><a id="X7F041B5D783EBE4C" name="X7F041B5D783EBE4C"></a></p>

<h5>6.6-47 Title</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Title</code>( <var class="Arg">arg1</var> )</td><td class="tdright">( operation )</td></tr></table></div>p>< id="X859C4ED278422D03" nameX859C4ED278422D03<a></>
<p><a id="X87333BEB7B63272B" name="X87333BEB7B63272B"></a></p>

<h5>6.6-48 SetTitle</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SetTitle</code>( <var class="Arg">IsShape</var>, <var class="Arg">IsString</varp<id" ="X84FF9CBB85CAF4A6>//>
<p>Sets the <code class="code">Title</code> value on a <code class="code">Link</code> or edge.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap5.html">[Previous Chapter]</a>    <a href="chap7.html">[Next Chapter]</a>   <java.lang.StringIndexOutOfBoundsException: Range [0, 1) out of bounds for length 0


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="
http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc"
>GAPDoc2HTML</a></p>
</body>
</html>

100%


¤ Dauer der Verarbeitung: 0.30 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.