/usr/share/mozart/doc/system/toc.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Table of Contents</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="index.html">- Up -</A></TD><TD><A href="node1.html#chapter.application">Next >></A></TD></TR></TABLE><H1><A name="label1">Table of Contents</A></H1><HR><UL class="toc"><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><LI><A href="index.html#part.application">Part I: Application Programming</A><UL class="toc"><LI><A href="node1.html#chapter.application">1 Application Support: <CODE>Application</CODE></A><UL class="toc"><LI><A href="node2.html#section.application.module">1.1 The <CODE>Application</CODE> Module</A></LI><LI><A href="node3.html#section.application.parsingconventions">1.2 Parsing Conventions</A><UL class="toc"><LI><A href="node3.html#label16">1.2.1 Parsing of CGI Arguments</A></LI><LI><A href="node3.html#section.application.cmdparsing">1.2.2 Parsing of Command Lines</A></LI></UL></LI><LI><A href="node4.html#section.application.specifications">1.3 Option Specifications</A><UL class="toc"><LI><A href="node4.html#label17">1.3.1 Plain</A></LI><LI><A href="node4.html#label18">1.3.2 List</A></LI><LI><A href="node5.html#section.application.list.examples">List Examples</A></LI><LI><A href="node4.html#label19">1.3.3 Record</A></LI><LI><A href="node6.html#section.application.record.examples">Record Examples</A></LI></UL></LI></UL></LI><LI><A href="node7.html#chapter.module">2 Module Managers: <CODE>Module</CODE></A><UL class="toc"><LI><A href="node7.html#section.module.basic">2.1 Basics</A></LI><LI><A href="node7.html#section.modules.names">2.2 Module Names and URLs</A></LI><LI><A href="node7.html#section.modules.link">2.3 The Class <CODE>Module<SPAN class="keyword">.</SPAN>manager</CODE></A></LI><LI><A href="node7.html#section.modules.abstractions">2.4 Predefined Abstractions</A></LI></UL></LI></UL></LI><LI><A href="index.html#part.constraints">Part II: Constraint Programming</A><UL class="toc"><LI><A href="node8.html#chapter.types_modes_constr">3 Constraints-Specific Type Structure and Modes</A><UL class="toc"><LI><A href="node8.html#label43">3.1 Type Structure</A></LI><LI><A href="node8.html#label44">3.2 Signatures</A><UL class="toc"><LI><A href="node8.html#sec:type-abbrev-ps">Types</A></LI><LI><A href="node8.html#modes-ps">Modes</A></LI><LI><A href="node8.html#label45">3.2.1 Notational Conventions</A></LI></UL></LI></UL></LI><LI><A href="node9.html#chapter.search">4 Search Engines: <CODE>Search</CODE></A><UL class="toc"><LI><A href="node10.html#vanillasearch">4.1 Basic Search Engines</A></LI><LI><A href="node11.html#generalsearch">4.2 General Purpose Search Engines</A><UL class="toc"><LI><A href="node11.html#label50">4.2.1 Single Solution Search</A></LI><LI><A href="node11.html#label69">4.2.2 All Solution Search</A></LI><LI><A href="node11.html#section.best.solution.search">4.2.3 Best Solution Search</A></LI></UL></LI><LI><A href="node12.html#sec.search.object">4.3 <CODE>Search<SPAN class="keyword">.</SPAN>object</CODE></A></LI><LI><A href="node13.html#section.search.parallel">4.4 Parallel Search Engines</A><UL class="toc"><LI><A href="node13.html#section.search.parallel.example">4.4.1 An Example</A></LI><LI><A href="node13.html#section.search.parallel.api">4.4.2 The Class <CODE>Search<SPAN class="keyword">.</SPAN>parallel</CODE></A></LI></UL></LI></UL></LI><LI><A href="node14.html#chapter.fd">5 Finite Domain Constraints: <CODE>FD</CODE></A><UL class="toc"><LI><A href="node15.html#section.fd.facts">5.1 Some Facts About Propagators</A></LI><LI><A href="node16.html#section.fd.condis">5.2 The Concept of Constructive Disjunction</A></LI><LI><A href="node17.html#section.fd.general">5.3 Finite Domains</A></LI><LI><A href="node18.html#section.fd.telling">5.4 Telling Domains</A></LI><LI><A href="node19.html#section.fd.reflection">5.5 Reflection</A></LI><LI><A href="node20.html#section.fd.watching">5.6 Watching Domains</A></LI><LI><A href="node21.html#section.fd.arithmetic">5.7 Generic Propagators</A></LI><LI><A href="node22.html#section.fd.nonlinear">5.8 Symbolic Propagators</A></LI><LI><A href="node23.html#section.fd.bool">5.9 0/1 Propagators</A></LI><LI><A href="node24.html#section.fd.reified">5.10 Reified Constraints</A></LI><LI><A href="node25.html#section.fd.misc">5.11 Miscellaneous Propagators</A></LI><LI><A href="node26.html#section.fd.distribution">5.12 Distribution</A></LI><LI><A href="node27.html#section.fd.assignment">5.13 Assigning Values</A></LI></UL></LI><LI><A href="node28.html#chapter.schedule">6 Scheduling Support: <CODE>Schedule</CODE></A><UL class="toc"><LI><A href="node29.html#section.schedule.unary">6.1 Serialization for Unary Resources</A></LI><LI><A href="node30.html#section.schedule.distribute">6.2 Distribution</A></LI><LI><A href="node31.html#section.schedule.cumulative">6.3 Cumulative Scheduling</A></LI><LI><A href="node32.html#section.schedule.misc">6.4 Miscellaneous Propagators</A></LI></UL></LI><LI><A href="node33.html#chapter.fs">7 Finite Set Constraints: <CODE>FS</CODE></A><UL class="toc"><LI><A href="node34.html#section.fs.genral">7.1 Finite Set Intervals</A></LI><LI><A href="node35.html#section.fs.integers">7.2 Sets over Integers</A></LI><LI><A href="node36.html#section.fs.standard">7.3 Standard Propagators</A></LI><LI><A href="node37.html#section.fs.vars">7.4 Finite Set Interval Variables</A><UL class="toc"><LI><A href="node37.html#label364">7.4.1 Declaring a Single Variable</A></LI><LI><A href="node37.html#label373">7.4.2 Declaring a List of Variables</A></LI><LI><A href="node37.html#label382">7.4.3 Declaring a Tuple of Variables</A></LI><LI><A href="node37.html#label391">7.4.4 Declaring a Record of Variables</A></LI></UL></LI><LI><A href="node38.html#section.fs.consts">7.5 Finite Set Constants</A></LI><LI><A href="node39.html#section.fs.reified">7.6 Reified Propagators</A></LI><LI><A href="node40.html#section.fs.iterating">7.7 Iterating and Monitoring</A></LI><LI><A href="node41.html#section.fs.reflection">7.8 Reflection</A></LI><LI><A href="node42.html#section.fs.distribution">7.9 Distribution</A></LI></UL></LI><LI><A href="node43.html#chapter.recordc">8 Feature Constraints: <CODE>RecordC</CODE></A></LI><LI><A href="node44.html#chapter.combinator">9 Deep-guard Concurrent Constraint Combinators: <CODE>Combinator</CODE></A></LI><LI><A href="node45.html#chapter.space">10 First-class Computation Spaces: <CODE>Space</CODE></A></LI></UL></LI><LI><A href="index.html#part.distributed">Part III: Distributed Programming</A><UL class="toc"><LI><A href="node46.html#chapter.dp">11 General Distributed Programming Support: <CODE>DP</CODE></A><UL class="toc"><LI><A href="node46.html#section.dp.init">11.1 Initializing the Distribution Layer</A></LI><LI><A href="node46.html#section.dp.annotations">11.2 Distribution Annotations</A><UL class="toc"><LI><A href="node46.html#label507">11.2.1 Annotating Entities</A></LI><LI><A href="node46.html#label510">11.2.2 Annotation Values</A></LI><LI><A href="node46.html#section.dp.annotations.defaults">11.2.3 Default Annotations</A></LI></UL></LI><LI><A href="node46.html#section.dp.fault">11.3 Fault Handling</A><UL class="toc"><LI><A href="node46.html#label511">11.3.1 Entity Fault Stream</A></LI><LI><A href="node46.html#label513">11.3.2 Kill and Break</A></LI></UL></LI><LI><A href="node46.html#section.dp.variables">11.4 Special Case: Variables</A></LI><LI><A href="node46.html#section.dp.limitations">11.5 Limitations</A></LI></UL></LI><LI><A href="node47.html#chapter.connection">12 Connecting Computations: <CODE>Connection</CODE></A><UL class="toc"><LI><A href="node47.html#section.connection.one">12.1 One-to-one Connections</A></LI><LI><A href="node47.html#section.connection.many">12.2 Many-to-one Connections</A><UL class="toc"><LI><A href="node47.html#label536">12.2.1 Gates</A></LI></UL></LI></UL></LI><LI><A href="node48.html#chapter.remote">13 Spawning Computations Remotely: <CODE>Remote</CODE></A><UL class="toc"><LI><A href="node48.html#label560">13.1 Process Termination and Remote Managers</A></LI></UL></LI><LI><A href="node49.html#chapter.urlurl">14 Referring To Distributed Entities: <CODE>URL</CODE></A><UL class="toc"><LI><A href="node49.html#label562">14.1 Examples</A></LI><LI><A href="node49.html#label563">14.2 Interface</A></LI></UL></LI><LI><A href="node50.html#chapter.resolve">15 Resolving URLs: <CODE>Resolve</CODE></A><UL class="toc"><LI><A href="node50.html#label575">15.1 From search paths to search methods</A></LI><LI><A href="node50.html#label576">15.2 Syntax of methods</A></LI><LI><A href="node50.html#label577">15.3 Interface of <CODE>Resolve</CODE> Module</A></LI><LI><A href="node50.html#label589">15.4 Interface of a Resolver</A></LI></UL></LI><LI><A href="node51.html#chapter.discovery">16 Locating services in a network: <CODE>Discovery</CODE></A><UL class="toc"><LI><A href="node51.html#section.discovery.module">16.1 The Module</A></LI></UL></LI><LI><A href="node52.html#chapter.fault">17 Detecting and Handling Distribution Problems: <CODE>Fault</CODE></A></LI><LI><A href="node53.html#chapter.dpinit">18 Initializing and instrumenting the distribution layer: <CODE>DPInit</CODE></A></LI><LI><A href="node54.html#chapter.dpstatistics">19 Retriving statistical information from the Distribution layer: <CODE>DPStatistics</CODE></A><UL class="toc"><LI><A href="node54.html#label622">19.1 Interface of <CODE>DPStatistics</CODE> Module</A></LI></UL></LI></UL></LI><LI><A href="index.html#part.open">Part IV: Open Programming</A><UL class="toc"><LI><A href="node55.html#chapter.open">20 Files, Sockets, and Pipes: <CODE>Open</CODE></A><UL class="toc"><LI><A href="node55.html#label623">20.1 Exceptions</A></LI><LI><A href="node55.html#section.file.obj">20.2 The Class <CODE>Open<SPAN class="keyword">.</SPAN>file</CODE></A></LI><LI><A href="node55.html#sec-socket-obj">20.3 The Class <CODE>Open<SPAN class="keyword">.</SPAN>socket</CODE></A></LI><LI><A href="node55.html#open.pipe">20.4 The Class <CODE>Open<SPAN class="keyword">.</SPAN>pipe</CODE></A></LI><LI><A href="node55.html#sec-text-obj">20.5 The Class <CODE>Open<SPAN class="keyword">.</SPAN>text</CODE></A></LI></UL></LI><LI><A href="node56.html#chapter.os">21 Operating System Support: <CODE>OS</CODE></A><UL class="toc"><LI><A href="node56.html#label717">21.1 Conventions</A></LI><LI><A href="node56.html#label718">21.2 Exceptions</A></LI><LI><A href="node56.html#label719">21.3 Random Integers</A></LI><LI><A href="node56.html#label726">21.4 Files</A></LI><LI><A href="node56.html#label731">21.5 Directories</A></LI><LI><A href="node56.html#sec-opprog-os-file">21.6 Sockets</A></LI><LI><A href="node56.html#label746">21.7 Time</A></LI><LI><A href="node56.html#label753">21.8 Environment Variables</A></LI><LI><A href="node56.html#os-use-misc">21.9 Miscellaneous</A></LI><LI><A href="node56.html#label763">21.10 Low Level Procedures</A><UL class="toc"><LI><A href="node56.html#label764">21.10.1 Basic Input and Output</A></LI><LI><A href="node56.html#sec-opprog-select">21.10.2 From Blocking to Suspension</A></LI><LI><A href="node56.html#label785">21.10.3 Sockets</A></LI><LI><A href="node56.html#label808">21.10.4 Process Control</A></LI></UL></LI></UL></LI></UL></LI><LI><A href="index.html#part.system">Part V: System Programming</A><UL class="toc"><LI><A href="node57.html#chapter.pickle">22 Persistent Values: <CODE>Pickle</CODE></A></LI><LI><A href="node58.html#chapter.property">23 Emulator Properties: <CODE>Property</CODE></A><UL class="toc"><LI><A href="node59.html#section.property.intro">23.1 Engine Properties</A><UL class="toc"><LI><A href="node60.html#section.property.application">Application Support: <CODE>application</CODE></A></LI><LI><A href="node61.html#section.property.dp">Distribution: <CODE>dp</CODE></A><UL class="toc"><LI><A href="node61.html#section.property.dp.annotation">Default annotations: <CODE>dp<SPAN class="keyword">.</SPAN>annotation</CODE></A></LI></UL></LI><LI><A href="node62.html#section.property.dplog">Logging of distributed events: <CODE>dpLog</CODE></A></LI><LI><A href="node63.html#section.property.errors">Printing Errors: <CODE>errors</CODE></A></LI><LI><A href="node64.html#section.property.fd">Finite Domains: <CODE>fd</CODE></A></LI><LI><A href="node65.html#section.property.gc">Garbage Collection: <CODE>gc</CODE></A></LI><LI><A href="node66.html#section.property.limits">Implementation Limits: <CODE>limits</CODE></A></LI><LI><A href="node67.html#section.property.marshaler">Marshaler: <CODE>marshaler</CODE></A></LI><LI><A href="node68.html#section.property.memory">Memory Usage: <CODE>memory</CODE></A></LI><LI><A href="node69.html#section.property.messages">Printing Messages: <CODE>messages</CODE></A></LI><LI><A href="node70.html#section.property.platform">Platform Information: <CODE>platform</CODE></A></LI><LI><A href="node71.html#section.property.print">Printing Values: <CODE>print</CODE></A></LI><LI><A href="node72.html#section.property.priority">Thread Priorities: <CODE>priorities</CODE></A></LI><LI><A href="node73.html#section.property.spaces">Computation Spaces: <CODE>spaces</CODE></A></LI><LI><A href="node74.html#section.property.threads">Threads: <CODE>threads</CODE></A></LI><LI><A href="node75.html#section.property.time">Time Usage: <CODE>time</CODE></A></LI></UL></LI><LI><A href="node76.html#section.property.env">23.2 Environment Properties</A></LI><LI><A href="node58.html#section.property.interface">23.3 The Programming Interface</A></LI></UL></LI><LI><A href="node77.html#chapter.error">24 Error Formatting: <CODE>Error</CODE></A><UL class="toc"><LI><A href="node77.html#label842">24.1 Data Structures</A></LI><LI><A href="node77.html#label843">24.2 The Error Registry</A></LI><LI><A href="node77.html#label847">24.3 Example Error Formatter</A></LI><LI><A href="node77.html#label848">24.4 The Module</A></LI></UL></LI><LI><A href="node78.html#chapter.errorformatters">25 System Error Formatters: <CODE>ErrorFormatters</CODE></A></LI><LI><A href="node79.html#chapter.finalize">26 Memory Management: <CODE>Finalize</CODE></A><UL class="toc"><LI><A href="node79.html#label881">26.1 Pre-mortem finalization facilities</A></LI><LI><A href="node79.html#label885">26.2 Post-mortem finalization facilities</A></LI></UL></LI><LI><A href="node80.html#chapter.system">27 Miscelleanous System Support: <CODE>System</CODE></A><UL class="toc"><LI><A href="node80.html#section.system.control">27.1 System Control</A></LI><LI><A href="node80.html#section.system.printing">27.2 Printing</A></LI><LI><A href="node80.html#section.system.misc">27.3 Miscellaneous</A></LI></UL></LI></UL></LI><LI><A href="index.html#part.window">Part VI: Window Programming</A><UL class="toc"><LI><A href="node81.html#chapter.tk">28 The Module <CODE>Tk</CODE></A><UL class="toc"><LI><A href="node82.html#section.tk.tickles">28.1 Tickles</A><UL class="toc"><LI><A href="node82.html#section.tk.tickles.syntax">28.1.1 Syntax</A></LI><LI><A href="node82.html#section.tk.tickles.translation">28.1.2 Translation to Virtual Strings</A></LI><LI><A href="node82.html#section.tk.tickles.send">28.1.3 Sending Tickles</A></LI><LI><A href="node82.html#section.tk.return-values">28.1.4 Sending Tickles and Returning Values</A></LI></UL></LI><LI><A href="node83.html#section.tk.objects">28.2 Tickle Objects</A><UL class="toc"><LI><A href="node83.html#section.tk.action-values">28.2.1 Action Values</A></LI><LI><A href="node83.html#section.tk.action-arguments">28.2.2 Action Argument Values</A></LI><LI><A href="node83.html#section.tk.action-event-arguments">28.2.3 Event Argument Values</A></LI></UL></LI><LI><A href="node84.html#section.tk.no-action">28.3 No-Action Widgets</A></LI><LI><A href="node85.html#section.tk.action-widget">28.4 Action Widgets</A></LI><LI><A href="node86.html#section.tk.toplevel">28.5 Toplevel Widgets</A></LI><LI><A href="node87.html#section.tk.menuentry">28.6 Menu Entries</A></LI><LI><A href="node88.html#section.tk.variable">28.7 Variables</A></LI><LI><A href="node89.html#section.tk.tagmark">28.8 Tags And Marks</A></LI><LI><A href="node90.html#section.tk.image">28.9 Images</A></LI><LI><A href="node91.html#section.tk.font">28.10 Fonts</A></LI><LI><A href="node92.html#section.tk.listener">28.11 Listeners</A></LI><LI><A href="node93.html#section.tk.strings">28.12 Strings</A></LI><LI><A href="node94.html#section.tk.misc">28.13 Miscellaneous</A></LI></UL></LI><LI><A href="node95.html#chapter.tktools">29 Graphical Tools: <CODE>TkTools</CODE></A><UL class="toc"><LI><A href="node95.html#section.tktools.error">29.1 Error</A></LI><LI><A href="node95.html#section.tktools.dialog">29.2 Dialog</A></LI><LI><A href="node95.html#section.tktools.menubar">29.3 Menubar</A></LI><LI><A href="node95.html#section.tktools.popupmenu">29.4 Popup Menu</A></LI><LI><A href="node95.html#section.tktools.textframe">29.5 Textframe</A></LI><LI><A href="node95.html#section.tktools.notebook">29.6 Notebook</A></LI><LI><A href="node95.html#section.tktools.note">29.7 Note</A></LI><LI><A href="node95.html#section.tktools.scale">29.8 Scale</A></LI><LI><A href="node95.html#section.tktools.numberentry">29.9 Number Entry</A></LI><LI><A href="node95.html#section.tktools.images">29.10 Images</A></LI><LI><A href="node95.html#section.tktools.resolveimages">29.11 Resolve Images</A></LI></UL></LI></UL></LI><LI><A href="index.html#part.misc">Part VII: Miscellaneous</A><UL class="toc"><LI><A href="node96.html#chapter.objectsupport">30 Support Classes for Objects: <CODE>ObjectSupport</CODE></A><UL class="toc"><LI><A href="node96.html#section.objectsupport.masterslave">30.1 Classes for Master/Slave Behaviour</A></LI><LI><A href="node96.html#section.objectsupport.reflect">30.2 Reflecting Objects</A></LI></UL></LI><LI><A href="bib.html#label1733">Bibliography</A></LI><LI><A href="idx.html#label1734">Index</A></LI></UL></LI></UL><HR><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="index.html">- Up -</A></TD><TD><A href="node1.html#chapter.application">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.info.ucl.ac.be/~pvr">Peter Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|