From 5937314efc456f84625e5b97c9312526a87f23b0 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 6 Dec 2023 16:20:52 +0200 Subject: [PATCH] Move general domains to goblint_domain library --- src/{domains => domain}/boolDomain.ml | 0 src/{domains => domain}/disjointDomain.ml | 0 src/domain/domain.mld | 12 ++++++++++++ src/{domains => domain}/flagHelper.ml | 0 src/{domains => domain}/hoareDomain.ml | 0 src/{domains => domain}/mapDomain.ml | 0 src/{domains => domain}/partitionDomain.ml | 0 src/{domains => domain}/setDomain.ml | 0 src/{domains => domain}/trieDomain.ml | 0 9 files changed, 12 insertions(+) rename src/{domains => domain}/boolDomain.ml (100%) rename src/{domains => domain}/disjointDomain.ml (100%) rename src/{domains => domain}/flagHelper.ml (100%) rename src/{domains => domain}/hoareDomain.ml (100%) rename src/{domains => domain}/mapDomain.ml (100%) rename src/{domains => domain}/partitionDomain.ml (100%) rename src/{domains => domain}/setDomain.ml (100%) rename src/{domains => domain}/trieDomain.ml (100%) diff --git a/src/domains/boolDomain.ml b/src/domain/boolDomain.ml similarity index 100% rename from src/domains/boolDomain.ml rename to src/domain/boolDomain.ml diff --git a/src/domains/disjointDomain.ml b/src/domain/disjointDomain.ml similarity index 100% rename from src/domains/disjointDomain.ml rename to src/domain/disjointDomain.ml diff --git a/src/domain/domain.mld b/src/domain/domain.mld index 43d650abdd..ce7e1a5859 100644 --- a/src/domain/domain.mld +++ b/src/domain/domain.mld @@ -7,3 +7,15 @@ For better context, see {!Goblint_lib} which also documents these modules. {!modules: Lattice } + +{2 General} +{!modules: +BoolDomain +SetDomain +MapDomain +TrieDomain +DisjointDomain +HoareDomain +PartitionDomain +FlagHelper +} diff --git a/src/domains/flagHelper.ml b/src/domain/flagHelper.ml similarity index 100% rename from src/domains/flagHelper.ml rename to src/domain/flagHelper.ml diff --git a/src/domains/hoareDomain.ml b/src/domain/hoareDomain.ml similarity index 100% rename from src/domains/hoareDomain.ml rename to src/domain/hoareDomain.ml diff --git a/src/domains/mapDomain.ml b/src/domain/mapDomain.ml similarity index 100% rename from src/domains/mapDomain.ml rename to src/domain/mapDomain.ml diff --git a/src/domains/partitionDomain.ml b/src/domain/partitionDomain.ml similarity index 100% rename from src/domains/partitionDomain.ml rename to src/domain/partitionDomain.ml diff --git a/src/domains/setDomain.ml b/src/domain/setDomain.ml similarity index 100% rename from src/domains/setDomain.ml rename to src/domain/setDomain.ml diff --git a/src/domains/trieDomain.ml b/src/domain/trieDomain.ml similarity index 100% rename from src/domains/trieDomain.ml rename to src/domain/trieDomain.ml