# filelist

dirname: /usr/include/souffle/io
filetypes: fffffffffff
filenames:
  IOSystem.h/ReadStream.h/ReadStreamCSV.h/ReadStreamJSON.h/ReadStreamSQLite.h/SerialisationStream.h/WriteStream.h/WriteStreamCSV.h/WriteStreamJSON.h/WriteStreamSQLite.h/gzfstream.h


dirname: /usr/include/souffle
filetypes: ffffffffff
filenames:
  BinaryConstraintOps.h/CompiledOptions.h/CompiledSouffle.h/CompiledTuple.h/RamTypes.h/RecordTable.h/SignalHandler.h/SouffleInterface.h/SymbolTable.h/TypeAttribute.h


dirname: /usr/include/souffle/utility
filetypes: fffffffffff
filenames:
  CacheUtil.h/ContainerUtil.h/EvaluatorUtil.h/FileUtil.h/FunctionalUtil.h/MiscUtil.h/ParallelUtil.h/StreamUtil.h/StringUtil.h/json11.h/tinyformat.h


dirname: /usr/include/souffle/profile
filetypes: ffffffffffffffffffffffffffff
filenames:
  Cell.h/CellInterface.h/Cli.h/DataComparator.h/EventProcessor.h/HtmlGenerator.h/Iteration.h/Logger.h/OutputProcessor.h/ProfileDatabase.h/ProfileEvent.h/ProgramRun.h/Reader.h/Relation.h/Row.h/Rule.h/StringUtils.h/Table.h/Tui.h/UserInputReader.h/htmlCssChartist.h/htmlCssStyle.h/htmlJsChartistMin.h/htmlJsChartistPlugin.h/htmlJsMain.h/htmlJsTableSort.h/htmlJsUtil.h/htmlMain.h


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/ast
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffddd
filenames:
  Aggregator.h/AlgebraicDataType.h/Argument.h/Atom.h/Attribute.h/BinaryConstraint.h/BooleanConstraint.h/BranchDeclaration.h/BranchInit.h/Clause.h/Component.h/ComponentInit.h/ComponentType.h/Constant.h/Constraint.h/Counter.h/Directive.h/ExecutionOrder.h/ExecutionPlan.h/Functor.h/FunctorDeclaration.h/IntrinsicFunctor.h/Literal.h/Negation.h/NilConstant.h/Node.h/NumericConstant.h/Pragma.h/Program.cpp/Program.h/ProvenanceNegation.h/QualifiedName.h/RecordInit.h/RecordType.h/Relation.h/StringConstant.h/SubroutineArgument.h/SubsetType.h/Term.h/TranslationUnit.h/Type.h/TypeCast.h/UnionType.h/UnnamedVariable.h/UserDefinedFunctor.h/Variable.h/analysis/transform/utility


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/parser
filetypes: fffffffffff
filenames:
  ParserDriver.cpp/ParserDriver.h/ParserUtils.cpp/ParserUtils.h/SrcLocation.cpp/SrcLocation.h/parser.cc/parser.hh/parser.yy/scanner.cc/scanner.ll


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/ast/transform
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  ADTtoRecords.cpp/ADTtoRecords.h/AddNullariesToAtomlessAggregates.cpp/AddNullariesToAtomlessAggregates.h/ComponentChecker.cpp/ComponentChecker.h/ComponentInstantiation.cpp/ComponentInstantiation.h/Conditional.h/DebugReporter.cpp/DebugReporter.h/ExecutionPlanChecker.cpp/ExecutionPlanChecker.h/Fixpoint.h/FoldAnonymousRecords.cpp/FoldAnonymousRecords.h/GroundedTermsChecker.cpp/GroundedTermsChecker.h/IOAttributes.h/IODefaults.h/InlineRelations.cpp/InlineRelations.h/MagicSet.cpp/MagicSet.h/MaterializeAggregationQueries.cpp/MaterializeAggregationQueries.h/MaterializeSingletonAggregation.cpp/MaterializeSingletonAggregation.h/Meta.cpp/Meta.h/MinimiseProgram.cpp/MinimiseProgram.h/NameUnnamedVariables.cpp/NameUnnamedVariables.h/Null.h/PartitionBodyLiterals.cpp/PartitionBodyLiterals.h/Pipeline.h/PolymorphicObjects.cpp/PolymorphicObjects.h/PragmaChecker.cpp/PragmaChecker.h/Provenance.cpp/Provenance.h/ReduceExistentials.cpp/ReduceExistentials.h/RemoveBooleanConstraints.cpp/RemoveBooleanConstraints.h/RemoveEmptyRelations.cpp/RemoveEmptyRelations.h/RemoveRedundantRelations.cpp/RemoveRedundantRelations.h/RemoveRedundantSums.cpp/RemoveRedundantSums.h/RemoveRelationCopies.cpp/RemoveRelationCopies.h/RemoveTypecasts.cpp/RemoveTypecasts.h/ReorderLiterals.cpp/ReorderLiterals.h/ReplaceSingletonVariables.cpp/ReplaceSingletonVariables.h/ResolveAliases.cpp/ResolveAliases.h/ResolveAnonymousRecordAliases.cpp/ResolveAnonymousRecordAliases.h/SemanticChecker.cpp/SemanticChecker.h/Transformer.cpp/Transformer.h/UniqueAggregationVariables.cpp/UniqueAggregationVariables.h/UserDefinedFunctors.cpp/UserDefinedFunctors.h


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src
filetypes: ffffffffddddfdddfd
filenames:
  AggregateOp.h/FunctorOps.cpp/FunctorOps.h/Global.cpp/Global.h/GraphUtils.h/LogStatement.h/RelationTag.h/ast/ast2ram/include/interpreter/main.cpp/parser/ram/reports/souffle_prof.cpp/synthesiser


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/ast/utility
filetypes: fffffffff
filenames:
  BindingStore.cpp/BindingStore.h/LambdaNodeMapper.h/NodeMapper.h/SipsMetric.cpp/SipsMetric.h/Utils.cpp/Utils.h/Visitor.h


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/include/souffle
filetypes: ffffffffddddd
filenames:
  BinaryConstraintOps.h/CompiledTuple.h/RamTypes.h/RecordTable.h/SignalHandler.h/SouffleInterface.h/SymbolTable.h/TypeAttribute.h/datastructure/io/profile/provenance/utility


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/ast/analysis
filetypes: fffffffffffffffffffffffffffffffffffff
filenames:
  Analysis.h/AuxArity.cpp/AuxArity.h/ClauseNormalisation.cpp/ClauseNormalisation.h/ComponentLookup.cpp/ComponentLookup.h/Constraint.h/ConstraintSystem.h/Ground.cpp/Ground.h/IOType.cpp/IOType.h/PrecedenceGraph.cpp/PrecedenceGraph.h/ProfileUse.cpp/ProfileUse.h/RecursiveClauses.cpp/RecursiveClauses.h/RedundantRelations.cpp/RedundantRelations.h/RelationDetailCache.cpp/RelationDetailCache.h/RelationSchedule.cpp/RelationSchedule.h/SCCGraph.cpp/SCCGraph.h/SumTypeBranches.cpp/SumTypeBranches.h/TopologicallySortedSCCGraph.cpp/TopologicallySortedSCCGraph.h/Type.cpp/Type.h/TypeEnvironment.cpp/TypeEnvironment.h/TypeSystem.cpp/TypeSystem.h


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/interpreter
filetypes: fffffffffffffff
filenames:
  InterpreterBTreeIndex.cpp/InterpreterContext.h/InterpreterEngine.cpp/InterpreterEngine.h/InterpreterEqrelIndex.cpp/InterpreterGenerator.h/InterpreterIndex.cpp/InterpreterIndex.h/InterpreterIndirectIndex.cpp/InterpreterNode.h/InterpreterProgInterface.h/InterpreterProvenanceIndex.cpp/InterpreterRelation.cpp/InterpreterRelation.h/InterpreterViewContext.h


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/ram/transform
filetypes: fffffffffffffffffffffffffffffffff
filenames:
  ChoiceConversion.cpp/ChoiceConversion.h/CollapseFilters.cpp/CollapseFilters.h/Conditional.h/EliminateDuplicates.cpp/EliminateDuplicates.h/ExpandFilter.cpp/ExpandFilter.h/HoistAggregate.cpp/HoistAggregate.h/HoistConditions.cpp/HoistConditions.h/IfConversion.cpp/IfConversion.h/IndexedInequality.cpp/IndexedInequality.h/Loop.h/MakeIndex.cpp/MakeIndex.h/Meta.h/Parallel.cpp/Parallel.h/ReorderConditions.cpp/ReorderConditions.h/ReorderFilterBreak.cpp/ReorderFilterBreak.h/ReportIndex.h/Sequence.h/Transformer.cpp/Transformer.h/TupleId.cpp/TupleId.h


dirname: /usr/src/debug/souffle-2.0.2-1.fc35.aarch64/src/ram
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdd
filenames:
  AbstractAggregate.h/AbstractChoice.h/AbstractConditional.h/AbstractExistenceCheck.h/AbstractLog.h/AbstractOperator.h/AbstractParallel.h/Aggregate.h/AutoIncrement.h/BinRelationStatement.h/Break.h/Call.h/Choice.h/Clear.h/Condition.h/Conjunction.h/Constant.h/Constraint.h/DebugInfo.h/EmptinessCheck.h/ExistenceCheck.h/Exit.h/Expression.h/Extend.h/False.h/Filter.h/FloatConstant.h/IO.h/IndexAggregate.h/IndexChoice.h/IndexOperation.h/IndexScan.h/IntrinsicOperator.h/LambdaNodeMapper.h/ListStatement.h/LogRelationTimer.h/LogSize.h/LogTimer.h/Loop.h/Negation.h/NestedIntrinsicOperator.h/NestedOperation.h/Node.h/NodeMapper.h/Operation.h/PackRecord.h/Parallel.h/ParallelAggregate.h/ParallelChoice.h/ParallelIndexAggregate.h/ParallelIndexChoice.h/ParallelIndexScan.h/ParallelScan.h/Program.h/Project.h/ProvenanceExistenceCheck.h/Query.h/Relation.h/RelationOperation.h/RelationSize.h/RelationStatement.h/Scan.h/Sequence.h/SignedConstant.h/Statement.h/SubroutineArgument.h/SubroutineReturn.h/Swap.h/TranslationUnit.h/True.h/TupleElement.h/TupleOperation.h/UndefValue.h/UnpackRecord.h/UnsignedConstant.h/UserDefinedOperator.h/Utils.h/Visitor.h/analysis/transform


