/usr/share/mozart/doc/panel/node4.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>1.3 Information on Problem Solving</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="node3.html#chapter.usage.memory"><< Prev</A></TD><TD><A href="node1.html">- Up -</A></TD><TD><A href="node5.html#chapter.usage.opi">Next >></A></TD></TR></TABLE><DIV id="chapter.usage.problem"><H2><A name="chapter.usage.problem">1.3 Information on Problem Solving</A></H2><P></P><TABLE align="center" bgcolor="#f0f0e0" id="table.problem.solving"><TR valign="top"><TH colspan="2"><P>Finite Domain Constraints</P></TH></TR><TR valign="top"><TH><P>Field</P></TH><TH><P>Explanation</P></TH></TR><TR valign="top"><TD><P>Variables Created</P></TD><TD><P>Number of finite domain variables created.</P></TD></TR><TR valign="top"><TD><P>Propagators Created</P></TD><TD><P>Number of finite domain propagators created.</P></TD></TR><TR valign="top"><TD><P>Propagators Invoked</P></TD><TD><P>Number of finite domain propagators invoked.</P></TD></TR><TR valign="top"><TH colspan="2"><P>Spaces</P></TH></TR><TR valign="top"><TH><P>Field</P></TH><TH><P>Explanation</P></TH></TR><TR valign="top"><TD><P>Created</P></TD><TD><P>Number of computation spaces created by <CODE>Space<SPAN class="keyword">.</SPAN>new</CODE>.</P></TD></TR><TR valign="top"><TD><P>Cloned</P></TD><TD><P>Number of computation spaces cloned by <CODE>Space<SPAN class="keyword">.</SPAN>clone</CODE>.</P></TD></TR><TR valign="top"><TD><P>Committed</P></TD><TD><P>Number of computation spaces committed by <CODE>Space<SPAN class="keyword">.</SPAN>commit</CODE>.</P></TD></TR><TR valign="top"><TD><P>Failed</P></TD><TD><P>Number of failed computation spaces.</P></TD></TR><TR valign="top"><TD><P>Succeeded</P></TD><TD><P>Number of succeeded computation spaces.</P></TD></TR></TABLE><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#chapter.usage.memory"><< Prev</A></TD><TD><A href="node1.html">- Up -</A></TD><TD><A href="node5.html#chapter.usage.opi">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|