blob: 5348867d703b1dda4718595399a233b4ab581cfe (
plain)
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
analyze.o: analyze.c analyze.h search.h clause.h sharing.h term.h \
symbol.h list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h \
flags.h unify.h context.h subst.h order.h sort.h hash.h subsumption.h \
component.h vector.h graph.h
clause.o: clause.c clause.h sharing.h term.h symbol.h list.h memory.h \
misc.h stringsx.h stack.h st.h foldfg.h flags.h unify.h context.h \
subst.h order.h
clock.o: clock.c clock.h misc.h
closure.o: closure.c closure.h clause.h sharing.h term.h symbol.h list.h \
memory.h misc.h stringsx.h stack.h st.h foldfg.h flags.h unify.h \
context.h subst.h order.h table.h partition.h ras.h
cnf.o: cnf.c cnf.h hasharray.h list.h memory.h misc.h renaming.h foldfg.h \
flags.h unify.h term.h symbol.h stringsx.h stack.h context.h subst.h \
vector.h resolution.h st.h subsumption.h component.h clause.h sharing.h \
order.h condensing.h search.h sort.h hash.h rules-inf.h rules-split.h \
rules-sort.h rules-ur.h defs.h rules-red.h doc-proof.h proofcheck.h \
options.h dfg.h tableau.h clock.h closure.h table.h partition.h ras.h
component.o: component.c term.h symbol.h list.h memory.h misc.h \
stringsx.h stack.h component.h
condensing.o: condensing.c subsumption.h misc.h unify.h term.h symbol.h \
list.h memory.h stringsx.h stack.h context.h subst.h component.h \
vector.h clause.h sharing.h st.h foldfg.h flags.h order.h condensing.h
context.o: context.c context.h term.h symbol.h list.h memory.h misc.h \
stringsx.h stack.h
defs.o: defs.c cnf.h hasharray.h list.h memory.h misc.h renaming.h \
foldfg.h flags.h unify.h term.h symbol.h stringsx.h stack.h context.h \
subst.h vector.h resolution.h st.h subsumption.h component.h clause.h \
sharing.h order.h condensing.h search.h sort.h hash.h defs.h
dfgparser.o: dfgparser.c dfg.h list.h memory.h misc.h flags.h clause.h \
sharing.h term.h symbol.h stringsx.h stack.h st.h foldfg.h unify.h \
context.h subst.h order.h
dfgscanner.o: dfgscanner.c misc.h memory.h symbol.h list.h stringsx.h \
term.h stack.h dfg.h flags.h clause.h sharing.h st.h foldfg.h unify.h \
context.h subst.h order.h dfgparser.h
doc-proof.o: doc-proof.c doc-proof.h clause.h sharing.h term.h symbol.h \
list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h flags.h unify.h \
context.h subst.h order.h search.h sort.h hash.h subsumption.h \
component.h vector.h proofcheck.h options.h dfg.h tableau.h
flags.o: flags.c flags.h memory.h misc.h stringsx.h
foldfg.o: foldfg.c foldfg.h flags.h memory.h misc.h unify.h term.h \
symbol.h list.h stringsx.h stack.h context.h subst.h
graph.o: graph.c graph.h list.h memory.h misc.h
hash.o: hash.c hash.h list.h memory.h misc.h
hasharray.o: hasharray.c hasharray.h list.h memory.h misc.h
iaparser.o: iaparser.c flags.h memory.h misc.h ia.h list.h symbol.h \
stringsx.h term.h stack.h foldfg.h unify.h context.h subst.h clause.h \
sharing.h st.h order.h
iascanner.o: iascanner.c misc.h memory.h symbol.h list.h stringsx.h \
term.h stack.h ia.h flags.h iaparser.h
kbo.o: kbo.c kbo.h term.h symbol.h list.h memory.h misc.h stringsx.h \
stack.h context.h foldfg.h flags.h unify.h subst.h order.h
list.o: list.c list.h memory.h misc.h
memory.o: memory.c memory.h misc.h
misc.o: misc.c misc.h
options.o: options.c options.h flags.h memory.h misc.h list.h stringsx.h
order.o: order.c flags.h memory.h misc.h order.h term.h symbol.h list.h \
stringsx.h stack.h context.h kbo.h foldfg.h unify.h subst.h rpos.h
partition.o: partition.c partition.h memory.h misc.h
proofcheck.o: proofcheck.c proofcheck.h options.h flags.h memory.h misc.h \
list.h vector.h dfg.h clause.h sharing.h term.h symbol.h stringsx.h \
stack.h st.h foldfg.h unify.h context.h subst.h order.h tableau.h \
search.h sort.h hash.h subsumption.h component.h
renaming.o: renaming.c renaming.h misc.h foldfg.h flags.h memory.h \
unify.h term.h symbol.h list.h stringsx.h stack.h context.h subst.h \
vector.h
resolution.o: resolution.c resolution.h misc.h unify.h term.h symbol.h \
list.h memory.h stringsx.h stack.h context.h subst.h foldfg.h flags.h \
st.h subsumption.h component.h vector.h clause.h sharing.h order.h \
condensing.h
rpos.o: rpos.c rpos.h misc.h term.h symbol.h list.h memory.h stringsx.h \
stack.h order.h context.h flags.h
rules-inf.o: rules-inf.c rules-inf.h search.h clause.h sharing.h term.h \
symbol.h list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h \
flags.h unify.h context.h subst.h order.h sort.h hash.h subsumption.h \
component.h vector.h rules-split.h rules-sort.h rules-ur.h defs.h
rules-red.o: rules-red.c rules-red.h sort.h clause.h sharing.h term.h \
symbol.h list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h \
flags.h unify.h context.h subst.h order.h hash.h subsumption.h \
component.h vector.h condensing.h search.h rules-split.h rules-inf.h \
rules-sort.h rules-ur.h defs.h doc-proof.h proofcheck.h options.h dfg.h \
tableau.h clock.h closure.h table.h partition.h ras.h
rules-sort.o: rules-sort.c rules-sort.h sort.h clause.h sharing.h term.h \
symbol.h list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h \
flags.h unify.h context.h subst.h order.h hash.h subsumption.h \
component.h vector.h
rules-split.o: rules-split.c rules-split.h clause.h sharing.h term.h \
symbol.h list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h \
flags.h unify.h context.h subst.h order.h search.h sort.h hash.h \
subsumption.h component.h vector.h
rules-ur.o: rules-ur.c rules-ur.h clause.h sharing.h term.h symbol.h \
list.h memory.h misc.h stringsx.h stack.h st.h foldfg.h flags.h unify.h \
context.h subst.h order.h
search.o: search.c search.h clause.h sharing.h term.h symbol.h list.h \
memory.h misc.h stringsx.h stack.h st.h foldfg.h flags.h unify.h \
context.h subst.h order.h sort.h hash.h subsumption.h component.h \
vector.h defs.h
sharing.o: sharing.c sharing.h term.h symbol.h list.h memory.h misc.h \
stringsx.h stack.h st.h foldfg.h flags.h unify.h context.h subst.h
sort.o: sort.c sort.h clause.h sharing.h term.h symbol.h list.h memory.h \
misc.h stringsx.h stack.h st.h foldfg.h flags.h unify.h context.h \
subst.h order.h hash.h subsumption.h component.h vector.h
st.o: st.c st.h foldfg.h flags.h memory.h misc.h unify.h term.h symbol.h \
list.h stringsx.h stack.h context.h subst.h
stack.o: stack.c stack.h misc.h
strings.o: strings.c stringsx.h memory.h misc.h list.h
subst.o: subst.c subst.h term.h symbol.h list.h memory.h misc.h \
stringsx.h stack.h unify.h context.h
subsumption.o: subsumption.c subsumption.h misc.h unify.h term.h symbol.h \
list.h memory.h stringsx.h stack.h context.h subst.h component.h \
vector.h clause.h sharing.h st.h foldfg.h flags.h order.h
symbol.o: symbol.c symbol.h list.h memory.h misc.h stringsx.h
table.o: table.c table.h term.h symbol.h list.h memory.h misc.h \
stringsx.h stack.h partition.h
tableau.o: tableau.c tableau.h list.h memory.h misc.h clause.h sharing.h \
term.h symbol.h stringsx.h stack.h st.h foldfg.h flags.h unify.h \
context.h subst.h order.h
term.o: term.c term.h symbol.h list.h memory.h misc.h stringsx.h stack.h
terminator.o: terminator.c terminator.h misc.h symbol.h list.h memory.h \
stringsx.h clause.h sharing.h term.h stack.h st.h foldfg.h flags.h \
unify.h context.h subst.h order.h
top.o: top.c dfg.h list.h memory.h misc.h flags.h clause.h sharing.h \
term.h symbol.h stringsx.h stack.h st.h foldfg.h unify.h context.h \
subst.h order.h defs.h search.h sort.h hash.h subsumption.h component.h \
vector.h ia.h rules-inf.h rules-split.h rules-sort.h rules-ur.h \
terminator.h rules-red.h condensing.h doc-proof.h proofcheck.h \
options.h tableau.h clock.h closure.h table.h partition.h ras.h \
analyze.h graph.h cnf.h hasharray.h renaming.h resolution.h
unify.o: unify.c unify.h term.h symbol.h list.h memory.h misc.h \
stringsx.h stack.h context.h subst.h
vector.o: vector.c vector.h misc.h
|
