diff options
Diffstat (limited to 'test/spass/.depend')
-rw-r--r-- | test/spass/.depend | 130 |
1 files changed, 130 insertions, 0 deletions
diff --git a/test/spass/.depend b/test/spass/.depend new file mode 100644 index 00000000..5348867d --- /dev/null +++ b/test/spass/.depend @@ -0,0 +1,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 |