Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/toolsforhomalg/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 2.4.2025 mit Größe 30 kB image not shown  

Quelle  chap5.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/toolsforhomalg/doc/chap5.html


<?xml version="1.0" encoding="UTF-8"?>

<!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 (ToolsForHomalg) - Chapter 5: ToDo-list</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"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap5"  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="chap4.html">[Previous Chapter]</a>    <a href="chap6.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap5_mj.html">[MathJax on]</a></p>
<p><a id="X7B4028057844FD6B" name="X7B4028057844FD6B"></a></p>
<div class="ChapSects"><a href="chap5.html#X7B4028057844FD6B">5 <span class="Heading">ToDo-list</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X849630B07F560FF5">5.1 <span class="Heading">Blueprints</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8627840881B04F30">5.1-1 ToDoListEntryToMaintainEqualAttributes</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X83C3ABAA78446811">5.1-2 ToDoListEntryToMaintainFollowingAttributes</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X829D3C967A146C7B">5.1-3 ToDoListEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X84032B267EDC4FAC">5.1-4 ToDoList_this_object</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X87779438810212EE">5.1-5 ToDoListEntryToMaintainEqualAttributesBlueprint</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7FFB4C148359E579">5.1-6 ToDoListEntryToMaintainFollowingAttributesBlueprint</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7A7B0E87843AF435">5.1-7 ToDoListEntryBlueprint</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X86137045808AF035">5.2 <span class="Heading">ToDo-list entries</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7EB7863D7F4DC75E">5.2-1 AddToToDoList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X876F23977AA5C19E">5.2-2 SourcePart</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X86B9FC7A78FF9347">5.2-3 TargetPart</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7F63A94D7B43B880">5.2-4 ProcessAToDoListEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7DF4A87E7E84F14F">5.2-5 ToDoListEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7FAFD188845D6FA6">5.2-6 ToDoListEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8041DC118358A5CD">5.2-7 SetTargetValueObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X793216E3836F177C">5.2-8 SetTargetObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X804F847184D6908B">5.2-9 ToDoListEntryWithContraposition</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X81E733C27D96F9C8">5.2-10 DescriptionOfImplication</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X83F78A1D7DF72241">5.2-11 ToDoListEntryForEqualAttributes</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7F1C9BF878D60312">5.2-12 ToDoListEntryForEquivalentAttributes</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7D9151158577E272">5.3 <span class="Heading">Category</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X86D2B9E180E01856">5.3-1 IsToDoList</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7ABF649E831D4D8E">5.4 <span class="Heading">Constructor</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7A46917986B3374A">5.4-1 NewToDoList</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7B69858A7C5DD48B">5.5 <span class="Heading">This is the magic</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X788F2635833587F8">5.5-1 Process_A_ToDo_List_Entry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7AD403197873FE42">5.5-2 ProcessToDoList</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X844D8E5879757C61">5.6 <span class="Heading">Methods for all objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X87B1AEB986DECB11">5.6-1 ToDoList</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7AB979547B1614FD">5.7 <span class="Heading">Proof tracking</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X86E9744B84BB30D1">5.7-1 TraceProof</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X8716E6D386B3DF40">5.8 <span class="Heading">Maintainance</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X83B49FF387DDD845">5.8-1 ActivateToDoList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7D3ECBE97AF4EC11">5.8-2 ActivateToDoList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7946D5AC84D7ACBD">5.8-3 DeactivateToDoList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X824248897F4F4759">5.8-4 DeactivateToDoList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X82A37E2D78476607">5.8-5 ActivateWhereInfosInEntries</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X82089CAA87F9930B">5.8-6 DeactivateWhereInfosInEntries</a></span>
</div></div>
</div>

<h3>5 <span class="Heading">ToDo-list</span></h3>

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

<h4>5.1 <span class="Heading">Blueprints</span></h4>

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

<h5>5.1-1 ToDoListEntryToMaintainEqualAttributes</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryToMaintainEqualAttributes</code>( <var class="Arg">indicator</var>, <var class="Arg">objects</var>, <var class="Arg">attributes</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a todo list entry</p>

<p>The first argument is the <var class="Arg">indicator</var>. It is a list of sources like in ToDoListEntry. Each entry <var class="Arg">SP</var> has to be a threetuple. First entry of <var class="Arg">SP</var> has to an object, for which the second entry of <var class="Arg">SP</var>, which has to be the name of an attribute, must become known. Once the attribute is known to the object, it will be compared to the third entry of the list. This can be a value, which is compared directly a function, which is launched and its return value is compared, or a list, consisting of a function and arguments, so the return value of the function with given arguments is compared. If there is no third entry in <var class="Arg">SP</var>, it is only looked up if the value is known. Once all entries in <var class="Arg">indicator</var> are processed like this, and all returned true in the comparasion, a list of ToDoListEntryForEqualAttributes is installed. They are installed for the two entries of the list <var class="Arg">objects</var> which can either be the objects itself or a list containing a function and arguments, which return value is used. For each entry in <var class="Arg">attributes</var> such an entry is installed. Such an entry can be the name of an attribute, if both objects in <var class="Arg">objects</var> should share the value between attributes with the same name, or a list of two names, if the attributes do not have the same name.</p>

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

<h5>5.1-2 ToDoListEntryToMaintainFollowingAttributes</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryToMaintainFollowingAttributes</code>( <var class="Arg">indicator</var>, <var class="Arg">objects</var>, <var class="Arg">attributes</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a todo list entry</p>

<p>This function creates a ToDoListEntry which can install several ToDoListEntries. The first two arguments, <var class="Arg">indicator</var> and <var class="Arg">objects</var> except that there will be only ToDoListEntries installed between the two objects in <var class="Arg">objects</var>. Each entry in <var class="Arg">attributes</var> can either be a string which means that the attribute with the given name will be set from the first to the second object in <var class="Arg">objects</var> once it is known. The third argument <var class="Arg">attributes</var> is a list of attributes that will be propagated by ToDoListEntries. Each entry <var class="Arg">TP</var> can either be a list consisting of a DescriptionOfImplication string and one of the following or just one of the following lists: It can be a string, which means that the Attribute with the given name will be propagated from the first to the second object. It can be a list, consisting of two entries, where the first entry is a list of sources like in ToDoListEntry and the second might be a function which will be launched once the first part is fulfilled. It can also be a threetuple which will serve as second to fourth argument of ToDoListEntry. Or it can be a string, which will set the attribute named like this of the first object to the one named in the second object</p>

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

<h5>5.1-3 ToDoListEntry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntry</code>( <var class="Arg">source</var>, <var class="Arg">target_list</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a todo list entry</p>

<p>This function allows to create more than one ToDoListEntry with identical list of sources at one time. First argument is a list of sources like in the other ToDoListEntry functions Second argument is a list of threetuples, which serve as second to fourth argument of ToDoListEntry or a function, which serves as second argument for ToDoListEntry or a tuple with a description string and one of the above.</p>

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

<h5>5.1-4 ToDoList_this_object</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoList_this_object</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p>Represents the objects for which the blueprint is created in the arguments</p>

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

<h5>5.1-5 ToDoListEntryToMaintainEqualAttributesBlueprint</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryToMaintainEqualAttributesBlueprint</code>( <var class="Arg">filter</var>, <var class="Arg">indicator</var>, <var class="Arg">objects</var>, <var class="Arg">attributes</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>This function installs an immediate method which can install ToDoListEntryToMaintainEqualAttributes. First argument must be a filter, and once the filter becomes true the ToDoListEntryToMaintainEqualAttributes is installed with the second to fourth argument as first to third. In those attributes, at any point, the variable ToDoList_this_object can be used. When the entry is installed This will be replaced with the object to which the filters became known, i.e. the one which triggered the immediate method.</p>

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

<h5>5.1-6 ToDoListEntryToMaintainFollowingAttributesBlueprint</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryToMaintainFollowingAttributesBlueprint</code>( <var class="Arg">arg1</var>, <var class="Arg">arg2</var>, <var class="Arg">arg3</var>, <var class="Arg">arg4</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>The same as ToDoListEntryToMaintainEqualAttributesBlueprint for ToDoListEntryToMaintainFollowingAttributes</p>

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

<h5>5.1-7 ToDoListEntryBlueprint</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryBlueprint</code>( <var class="Arg">arg1</var>, <var class="Arg">arg2</var>, <var class="Arg">arg3</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>The same as ToDoListEntryToMaintainEqualAttributesBlueprint for ToDoListEntry</p>

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

<h4>5.2 <span class="Heading">ToDo-list entries</span></h4>

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

<h5>5.2-1 AddToToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AddToToDoList</code>( <var class="Arg">E</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Adds the ToDo-list entry <var class="Arg">E</var> to the ToDo-lists of it's source objects and creates a new one, if this is needed. This function might be called with lists of entries



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

<h5>5.2-2 SourcePart</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SourcePart</code>( <var class="Arg">entry</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a list</p>

<p>Returns the a list of source parts of the ToDo-list entry <var class="Arg">entry</var>. This is a triple of an object, a name of a filter/attribute, and a value to which the attribute has to be set to activate the entry</p>

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

<h5>5.2-3 TargetPart</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TargetPart</code>( <var class="Arg">entry</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a list</p>

<p>Returns the target part of the ToDo-list entry <var class="Arg">entry</var>. This is a triple of aobject, a name of a filter/attribute, and a value to which the specific filter/attribute should be set. The third entry of the list might also be a function to which return value the attribute is set.</p>

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

<h5>5.2-4 ProcessAToDoListEntry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ProcessAToDoListEntry</code>( <var class="Arg">arg</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a boolean</p>

<p>Processes a ToDo-list entry, i.e. sets the information given in TargetPart if the definitions in SourcePart are fulfilled. Returns a function if the entry could be processed, false if not, and fail if SourcePart or TargetPart weren't availible anymore.



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

<h5>5.2-5 ToDoListEntry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntry</code>( <var class="Arg">arg1</var>, <var class="Arg">arg2</var>, <var class="Arg">arg3</var>, <var class="Arg">arg4</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a ToDoListEntry</p>

<p>The first argument must be a list consisting of two, three or four-tuples where the first entry must be the object to which the attribute given as a string in the second entry must be known to process this entry. The second entry can also be a list of strings, in that case all the attributes given as names must be known. Also, in this case, only two entries in this tuple are allowed. The third part can be a value or a list, consisting of a function followed by arguments which will be computed by the time the attribute given as second entry becomes known to the first entry. If the second part is only a string, and there is a third entry in the tuple the attribute is compared to the third entry. One can set a comparating function as fourth entry, which must take two entries and return false or true. If the value of the attribute matches the (computed) value in the third entry for all members of the list in the first argument the attribute given as third argument, also by name, of the second argument is set to the value of the fourth argument. This can also be a list which has to be computed, or a function, which retun value is used in this case.</p>

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

<h5>5.2-6 ToDoListEntry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntry</code>( <var class="Arg">arg1</var>, <var class="Arg">arg2</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a ToDoListEntry</p>

<p>The first argument is a list of three-tubles like above. Once all preconditions become fulfilled the function given as second argument is launched.</p>

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

<h5>5.2-7 SetTargetValueObject</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SetTargetValueObject</code>( <var class="Arg">entry</var>, <var class="Arg">value</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>If the given value of the target part is the return value of a function this command sets the target value of the entry to a function. This is done to keep proof tracking availible.</p>

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

<h5>5.2-8 SetTargetObject</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SetTargetObject</code>( <var class="Arg">entry</var>, <var class="Arg">obj</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>If the target object, i.e. the first entry of the target part, was given as a function, this method can set this entry to the return value computed in ProcessToDoListEntry. This happens atomatically, do not worry about it.</p>

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

<h5>5.2-9 ToDoListEntryWithContraposition</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryWithContraposition</code>( <var class="Arg">sobj</var>, <var class="Arg">source_prop</var>, <var class="Arg">sval</var>, <var class="Arg">tobj</var>, <var class="Arg">target</var>, <var class="Arg">tval</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a ToDoListEntry</p>

<p>Creates a ToDoListEntry which also installs a contraposition. The arguments <var class="Arg">source_prop</var> and <var class="Arg">target</var> need to be strings which name a property, and <var class="Arg">sval</var> and <var class="Arg">tval</var> need to be boolean values, i.e. true or false.</p>

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

<h5>5.2-10 DescriptionOfImplication</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DescriptionOfImplication</code>( <var class="Arg">arg</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a list</p>

<p>Has to be set to a string, which describes the reason for the conclusion. If the ToDo-list entry is displayed, the given string will be displayed with a because before it.</p>

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

<h5>5.2-11 ToDoListEntryForEqualAttributes</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryForEqualAttributes</code>( <var class="Arg">arg1</var>, <var class="Arg">arg2</var>, <var class="Arg">arg3</var>, <var class="Arg">arg4</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a ToDoListEntry</p>

<p>Creates a ToDoListEntry for two equal attributes, which means that both values of the two attributes will be propagated in both directions.</p>

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

<h5>5.2-12 ToDoListEntryForEquivalentAttributes</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoListEntryForEquivalentAttributes</code>( <var class="Arg">arg1</var>, <var class="Arg">arg2</var>, <var class="Arg">arg3</var>, <var class="Arg">arg4</var>, <var class="Arg">arg5</var>, <var class="Arg">arg6</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a ToDoListEntry</p>

<p>Creates a ToDoListEntry for two equivalent attributes, which means that both values of the two attributes will be propagated in both directions. Please note that this one does NOT implement contrapositions.</p>

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

<h4>5.3 <span class="Heading">Category</span></h4>

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

<h5>5.3-1 IsToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsToDoList</code>( <var class="Arg">arg</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>This is the category of ToDo-lists. Every ToDo-list is an object of this category, which basically contains the ToDo-lists.</p>

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

<h4>5.4 <span class="Heading">Constructor</span></h4>

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

<h5>5.4-1 NewToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ NewToDoList</code>(  )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>Creates a new empty ToDo-list.</p>

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

<h4>5.5 <span class="Heading">This is the magic</span></h4>

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

<h5>5.5-1 Process_A_ToDo_List_Entry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Process_A_ToDo_List_Entry</code>( <var class="Arg">arg</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a boolean</p>

<p>Gets a ToDo-list entry, which is a pair of a list of strings and a weak pointer object, and processes it. If the action was done, it returns true, if not, it returns false, and it returns fail if the action is not possible anymore due to deleted objects.</p>

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

<h5>5.5-2 ProcessToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ProcessToDoList</code>( <var class="Arg">A</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: nothing</p>

<p>This is the magic! This attribute is never set. Creating an ToDo-list entry installs an ImmediateMethod for this attribute for the specific category of the object to which ToDo-list is added, and the filter the entry contains. It is then triggert if the filters become applicable, so the ToDo-list is processed</p>

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

<h4>5.6 <span class="Heading">Methods for all objects</span></h4>

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

<h5>5.6-1 ToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ToDoList</code>( <var class="Arg">arg</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: A ToDo-list</p>

<p>Returns the ToDo-list of an object, or creates a new one.</p>

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

<h4>5.7 <span class="Heading">Proof tracking</span></h4>

<p>This is a way to track proofs from ToDoLists. Not only for debugging, but also for knowing how things work together.</p>

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

<h5>5.7-1 TraceProof</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TraceProof</code>( <var class="Arg">obj</var>, <var class="Arg">name</var>, <var class="Arg">val</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a tree</p>

<p>If the object <var class="Arg">obj</var> has the attribute <var class="Arg">name</var>, and its value is <var class="Arg">val</var>, and the knowledge has been obtained trough ToDoList-entries, this method traces the way the property was set, and returns a tree which describes the full way of how the attribute became known.</p>

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

<h4>5.8 <span class="Heading">Maintainance</span></h4>

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

<h5>5.8-1 ActivateToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ActivateToDoList</code>( <var class="Arg">arg</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>This operation activates ToDoLists for the argument.</p>

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

<h5>5.8-2 ActivateToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ActivateToDoList</code>(  )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>This operation activates ToDoLists for all objects.</p>

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

<h5>5.8-3 DeactivateToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DeactivateToDoList</code>( <var class="Arg">arg</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>This operation deactivates ToDoLists for the argument.</p>

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

<h5>5.8-4 DeactivateToDoList</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DeactivateToDoList</code>(  )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: nothing</p>

<p>This operation deactivates ToDoLists for all objects. Note that it is not possible to activate ToDoList for a single object while they are not activated. ToDoListEntries will yet be stored for all objects that can have ToDoLists. All objects created while ToDoLists are deactivated have by default no ToDoList.</p>

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

<h5>5.8-5 ActivateWhereInfosInEntries</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ActivateWhereInfosInEntries</code>( <var class="Arg">arg</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: nothing</p>

<p>Stores the result of Where( 100 ) in an entry if the entry is triggered. This is not activated by default, since it might slow down the system.</p>

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

<h5>5.8-6 DeactivateWhereInfosInEntries</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DeactivateWhereInfosInEntries</code>( <var class="Arg">arg</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: nothing</p>

<p>Deactives the storage of the result of Where( 100 ) if an entry is triggered. This is the default.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap4.html">[Previous Chapter]</a>    <a href="chap6.html">[Next Chapter]</a>   </div>


<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="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

100%


¤ Dauer der Verarbeitung: 0.24 Sekunden  (vorverarbeitet)  ¤

*© 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.