This file is indexed.

/usr/share/doc/libladr-dev/html/features.html is in libladr-dev 0.0.200911a-2.1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
<HTML>
<HEAD>
<TITLE>features.h</TITLE>
</HEAD>

<BODY>

<H1>#include "features.h"</H1>

This page has information from files
<A HREF="../features.h">features.h</A> and <A HREF="../features.c">features.c</A>.

<H2>Contents</H2>
<UL>
<LI><A HREF="#routines">Public Routines</A>
<LI><A HREF="#defns">Public Definitions</A>
<LI><A HREF="#intro">Introduction</A>
</UL>

<P>
<HR><A NAME=routines></A><H2>Public Routines in File features.c</H2>
<H4>Index</H4>
<TABLE CELLPADDING=3>
<TR><TD><A HREF="#feature_length">feature_length</A></TD><TD><A HREF="#features_less_or_equal">features_less_or_equal</A></TD><TD><A HREF="#p_features">p_features</A></TD><TD></TD>
</TR>
<TR><TD><A HREF="#features">features</A></TD><TD><A HREF="#init_features">init_features</A></TD><TD></TD><TD></TD>
</TR>
</TABLE>
<H4>Details</H4>
<A NAME="feature_length"></A><HR><PRE><B>int feature_length(void);
</B></PRE><A NAME="features"></A><HR><PRE><B>Ilist features(Literals lits);
</B></PRE>Given a clause, build the feature vector.

Features:
  positive literals
  negative literals
  foreach relation symbol
     positive occurrences
     negative occurrences
  foreach function symbol
     positive occurrences
     negative occurrences
     positive maxdepth
     negative maxdepth
<A NAME="features_less_or_equal"></A><HR><PRE><B>BOOL features_less_or_equal(Ilist c, Ilist d);
</B></PRE>Return TRUE if Ilists c and d are thr same length and
each member of c is <= the corresponding member of d.
<A NAME="init_features"></A><HR><PRE><B>void init_features(Ilist fsyms, Ilist rsyms);
</B></PRE><A NAME="p_features"></A><HR><PRE><B>void p_features(Ilist f);
</B></PRE><HR><A NAME=defns></A><H2>Public Definitions in File features.h</H2>
<PRE>
</PRE><HR><A NAME=intro></A><H2>Introduction</H2>

<HR>
</BODY>
</HTML>