//src
//src/Global.h
//src/main.cpp
//src/ram
//src/ram/IO.h
//src/ram/Call.h
//src/ram/Exit.h
//src/ram/Loop.h
//src/ram/Node.h
//src/ram/Query.h
//src/ram/Utils.h
//src/ram/Program.h
//src/ram/Project.h
//src/ram/Visitor.h
//src/ram/Constant.h
//src/ram/Negation.h
//src/ram/Relation.h
//src/ram/Constraint.h
//src/ram/PackRecord.h
//src/ram/AbstractLog.h
//src/ram/Conjunction.h
//src/ram/RelationSize.h
//src/ram/TupleElement.h
//src/ram/UnpackRecord.h
//src/ram/ListStatement.h
//src/ram/AbstractChoice.h
//src/ram/EmptinessCheck.h
//src/ram/IndexOperation.h
//src/ram/TupleOperation.h
//src/ram/analysis
//src/ram/analysis/Index.h
//src/ram/analysis/Level.h
//src/ram/analysis/Analysis.h
//src/ram/analysis/Complexity.h
//src/ram/transform
//src/ram/transform/Loop.h
//src/ram/transform/TupleId.h
//src/ram/transform/Parallel.h
//src/ram/transform/Sequence.h
//src/ram/transform/MakeIndex.h
//src/ram/transform/Conditional.h
//src/ram/transform/ReportIndex.h
//src/ram/transform/Transformer.h
//src/ram/transform/ExpandFilter.h
//src/ram/transform/IfConversion.h
//src/ram/transform/HoistAggregate.h
//src/ram/transform/CollapseFilters.h
//src/ram/transform/HoistConditions.h
//src/ram/transform/ChoiceConversion.h
//src/ram/transform/IndexedInequality.h
//src/ram/transform/ReorderConditions.h
//src/ram/transform/ReorderFilterBreak.h
//src/ram/transform/EliminateDuplicates.h
//src/ram/NestedOperation.h
//src/ram/TranslationUnit.h
//src/ram/AbstractOperator.h
//src/ram/SubroutineReturn.h
//src/ram/AbstractAggregate.h
//src/ram/RelationOperation.h
//src/ram/RelationStatement.h
//src/ram/AbstractConditional.h
//src/ram/BinRelationStatement.h
//src/ram/AbstractExistenceCheck.h
//src/ram/NestedIntrinsicOperator.h
//src/Global.cpp
//src/ast
//src/ast/Node.h
//src/ast/Type.h
//src/ast/Program.h
//src/ast/Relation.h
//src/ast/Attribute.h
//src/ast/Directive.h
//src/ast/RecordType.h
//src/ast/QualifiedName.h
//src/ast/analysis
//src/ast/analysis/Type.h
//src/ast/analysis/Analysis.h
//src/ast/analysis/AuxArity.h
//src/ast/analysis/SCCGraph.h
//src/ast/analysis/TypeSystem.h
//src/ast/analysis/PrecedenceGraph.h
//src/ast/analysis/TypeEnvironment.h
//src/ast/transform
//src/ast/transform/Null.h
//src/ast/transform/Fixpoint.h
//src/ast/transform/MagicSet.h
//src/ast/transform/Pipeline.h
//src/ast/transform/IODefaults.h
//src/ast/transform/Conditional.h
//src/ast/transform/Transformer.h
//src/ast/transform/IOAttributes.h
//src/ast/transform/DebugReporter.h
//src/ast/transform/GroundedTermsChecker.h
//src/ast/transform/RemoveEmptyRelations.h
//src/ast/transform/RemoveRelationCopies.h
//src/ast/transform/MaterializeAggregationQueries.h
//src/ast/TranslationUnit.h
//src/ast/utility
//src/ast/utility/Visitor.h
//src/GraphUtils.h
//src/FunctorOps.cpp
//src/souffle_prof.cpp
//src/reports
//src/reports/DebugReport.h
//src/reports/ErrorReport.h
//src/synthesiser
//src/synthesiser/Synthesiser.h
//src/include/souffle
//src/include/souffle/RamTypes.h
//src/include/souffle/RecordTable.h
//src/include/souffle/SymbolTable.h
//src/include/souffle/io
//src/include/souffle/io/IOSystem.h
//src/include/souffle/io/gzfstream.h
//src/include/souffle/io/ReadStream.h
//src/include/souffle/io/WriteStream.h
//src/include/souffle/io/ReadStreamCSV.h
//src/include/souffle/io/ReadStreamJSON.h
//src/include/souffle/io/WriteStreamCSV.h
//src/include/souffle/io/WriteStreamJSON.h
//src/include/souffle/io/ReadStreamSQLite.h
//src/include/souffle/io/WriteStreamSQLite.h
//src/include/souffle/io/SerialisationStream.h
//src/include/souffle/profile
//src/include/souffle/profile/Cli.h
//src/include/souffle/profile/Row.h
//src/include/souffle/profile/Tui.h
//src/include/souffle/profile/Cell.h
//src/include/souffle/profile/Rule.h
//src/include/souffle/profile/Table.h
//src/include/souffle/profile/Logger.h
//src/include/souffle/profile/Reader.h
//src/include/souffle/profile/Relation.h
//src/include/souffle/profile/Iteration.h
//src/include/souffle/profile/ProgramRun.h
//src/include/souffle/profile/StringUtils.h
//src/include/souffle/profile/ProfileEvent.h
//src/include/souffle/profile/CellInterface.h
//src/include/souffle/profile/HtmlGenerator.h
//src/include/souffle/profile/DataComparator.h
//src/include/souffle/profile/EventProcessor.h
//src/include/souffle/profile/OutputProcessor.h
//src/include/souffle/profile/ProfileDatabase.h
//src/include/souffle/profile/UserInputReader.h
//src/include/souffle/CompiledTuple.h
//src/include/souffle/SignalHandler.h
//src/include/souffle/TypeAttribute.h
//src/include/souffle/utility
//src/include/souffle/utility/json11.h
//src/include/souffle/utility/FileUtil.h
//src/include/souffle/utility/MiscUtil.h
//src/include/souffle/utility/CacheUtil.h
//src/include/souffle/utility/StreamUtil.h
//src/include/souffle/utility/StringUtil.h
//src/include/souffle/utility/tinyformat.h
//src/include/souffle/utility/ParallelUtil.h
//src/include/souffle/utility/ContainerUtil.h
//src/include/souffle/utility/EvaluatorUtil.h
//src/include/souffle/utility/FunctionalUtil.h
//src/include/souffle/CompiledOptions.h
//src/include/souffle/CompiledSouffle.h
//src/include/souffle/SouffleInterface.h
//src/include/souffle/datastructure
//src/include/souffle/datastructure/Brie.h
//src/include/souffle/datastructure/BTree.h
//src/include/souffle/datastructure/Table.h
//src/include/souffle/datastructure/PiggyList.h
//src/include/souffle/datastructure/UnionFind.h
//src/include/souffle/datastructure/LambdaBTree.h
//src/include/souffle/datastructure/EquivalenceRelation.h
//src/include/souffle/provenance
//src/include/souffle/provenance/Explain.h
//src/include/souffle/provenance/ExplainTree.h
//src/include/souffle/provenance/ExplainProvenance.h
//src/include/souffle/provenance/ExplainProvenanceImpl.h
//src/include/souffle/BinaryConstraintOps.h
//src/ast2ram
//src/ast2ram/AstToRamTranslator.h
//src/interpreter
//src/interpreter/InterpreterNode.h
//src/interpreter/InterpreterIndex.h
//src/interpreter/InterpreterEngine.h
//src/interpreter/InterpreterRelation.h
//src/interpreter/InterpreterGenerator.h
//src/interpreter/InterpreterViewContext.h
//src/interpreter/InterpreterProgInterface.h