From 9a455cd4301111a4bb6cac86ade51be144f2cf8c Mon Sep 17 00:00:00 2001 From: Markus Wolf Date: Mon, 8 Apr 2013 09:33:20 +0200 Subject: [PATCH] Refactored symbols into package --- Makefile.am | 8 ++++---- configure.ac | 1 + src/Makefile.am | 2 +- src/algorithms/Makefile.am | 10 +++++----- src/algorithms/bmc/Makefile.am | 10 +++++----- src/algorithms/kind/Makefile.am | 10 +++++----- src/algorithms/sim/Makefile.am | 10 +++++----- src/cmd/Makefile.am | 30 +++++++++++++++--------------- src/model/Makefile.am | 8 +++----- src/model/compilers/Makefile.am | 5 +++-- src/parser/Makefile.am | 29 +++++++++++++++-------------- src/symb/Makefile.am | 27 +++++++++++++++++++++++++++ src/{model => symb}/symbol.cc | 3 --- src/{model => symb}/symbol.hh | 0 src/type/Makefile.am | 2 +- src/witness/Makefile.am | 9 +++++---- 16 files changed, 95 insertions(+), 69 deletions(-) create mode 100644 src/symb/Makefile.am rename src/{model => symb}/symbol.cc (99%) rename src/{model => symb}/symbol.hh (100%) diff --git a/Makefile.am b/Makefile.am index 49447d2d..37996e91 100644 --- a/Makefile.am +++ b/Makefile.am @@ -8,10 +8,10 @@ READMES = LGPL-2.1 NEWS README INCLUDES = -I$(top_srcdir)/src -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ --I$(top_srcdir)/src/type -I$(top_srcdir)/src/expr/walkers \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/cmd \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/witness \ --I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/type -I$(top_srcdir)/src/symb \ +-I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/cmd -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/witness -I$(top_srcdir)/src/3rdparty/ezlogger \ -I$(top_srcdir)/src/parser/grammars -I$(top_srcdir)/src/algorithms \ -I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ -I$(top_srcdir)/src/sat -I$(top_srcdir)/src/sat/mtl \ diff --git a/configure.ac b/configure.ac index 59af49c6..b67a4509 100644 --- a/configure.ac +++ b/configure.ac @@ -146,6 +146,7 @@ AC_CONFIG_FILES([Makefile src/algorithms/bmc/Makefile src/algorithms/kind/Makefile src/algorithms/sim/Makefile + src/symb/Makefile src/model/Makefile src/model/compilers/Makefile src/parser/Makefile diff --git a/src/Makefile.am b/src/Makefile.am index fde9c465..b5c862e7 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -1 +1 @@ -SUBDIRS = dd sat expr type enc model algorithms witness parser cmd utils +SUBDIRS = dd sat expr type enc symb model algorithms witness parser cmd utils diff --git a/src/algorithms/Makefile.am b/src/algorithms/Makefile.am index 0ef120ad..6cf9074e 100644 --- a/src/algorithms/Makefile.am +++ b/src/algorithms/Makefile.am @@ -4,11 +4,11 @@ SUBDIRS = bmc kind sim INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/algorithms \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/witness \ --I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ --I$(top_srcdir)/src/sat -I$(top_srcdir)/src/sat/mtl \ --I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/algorithms -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/witness -I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat \ +-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ -I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/st \ diff --git a/src/algorithms/bmc/Makefile.am b/src/algorithms/bmc/Makefile.am index fc8a3339..8b849d02 100644 --- a/src/algorithms/bmc/Makefile.am +++ b/src/algorithms/bmc/Makefile.am @@ -3,11 +3,11 @@ AUTOMAKE_OPTIONS = subdir-objects INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/algorithms \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/witness \ --I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ --I$(top_srcdir)/src/sat -I$(top_srcdir)/src/sat/mtl \ --I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/algorithms -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/witness -I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat \ +-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ -I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/st \ diff --git a/src/algorithms/kind/Makefile.am b/src/algorithms/kind/Makefile.am index d8af01d7..416b697f 100644 --- a/src/algorithms/kind/Makefile.am +++ b/src/algorithms/kind/Makefile.am @@ -3,11 +3,11 @@ AUTOMAKE_OPTIONS = subdir-objects INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/algorithms \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/witness \ --I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ --I$(top_srcdir)/src/sat -I$(top_srcdir)/src/sat/mtl \ --I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/algorithms -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/witness -I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat \ +-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ -I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/st \ diff --git a/src/algorithms/sim/Makefile.am b/src/algorithms/sim/Makefile.am index 4867c35a..363888cd 100644 --- a/src/algorithms/sim/Makefile.am +++ b/src/algorithms/sim/Makefile.am @@ -3,11 +3,11 @@ AUTOMAKE_OPTIONS = subdir-objects INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/algorithms \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/witness \ --I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ --I$(top_srcdir)/src/sat -I$(top_srcdir)/src/sat/mtl \ --I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/algorithms -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/witness -I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat \ +-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ -I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/st \ diff --git a/src/cmd/Makefile.am b/src/cmd/Makefile.am index e34f1326..a59bdc02 100644 --- a/src/cmd/Makefile.am +++ b/src/cmd/Makefile.am @@ -1,20 +1,20 @@ AUTOMAKE_OPTIONS = subdir-objects -INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ --I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ --I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/cmd -I$(top_srcdir)/src/model \ --I$(top_srcdir)/src/sat -I$(top_srcdir)/src/algorithms \ --I$(top_srcdir)/src/witness -I$(top_srcdir)/src/utils \ --I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat/mtl \ --I$(top_srcdir)/src/sat/proof -I$(top_srcdir)/src/sat/utils \ --I$(top_srcdir)/src/parser/grammars \ --I$(top_srcdir)/src/3rdparty/ezlogger \ --I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ --I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ --I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ --I$(top_srcdir)/src/dd/cudd-2.5.0/st \ --I$(top_srcdir)/src/dd/cudd-2.5.0/util \ +INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ +-I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ +-I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/cmd \ +-I$(top_srcdir)/src/model -I$(top_srcdir)/src/sat \ +-I$(top_srcdir)/src/algorithms -I$(top_srcdir)/src/witness \ +-I$(top_srcdir)/src/utils -I$(top_srcdir)/src/sat/core \ +-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/sat/proof \ +-I$(top_srcdir)/src/sat/utils -I$(top_srcdir)/src/parser/grammars \ +-I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/st \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/util \ -I$(top_srcdir)/src/dd/cudd-2.5.0/obj AM_CPPFLAGS = @AM_CPPFLAGS@ diff --git a/src/model/Makefile.am b/src/model/Makefile.am index 6b9b0157..addb4118 100644 --- a/src/model/Makefile.am +++ b/src/model/Makefile.am @@ -3,7 +3,7 @@ SUBDIRS = compilers INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/dd -I$(top_srcdir)/src/enc \ -I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/mc \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/mc \ -I$(top_srcdir)/src/3rdparty/ezlogger \ -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ @@ -15,11 +15,9 @@ INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/expr \ AM_CPPFLAGS = @AM_CPPFLAGS@ AM_CXXFLAGS = @AM_CXXFLAGS@ -PKG_HH = model.hh model_mgr.hh resolver.hh analyzer.hh inferrer.hh \ - symbol.hh +PKG_HH = model.hh model_mgr.hh resolver.hh analyzer.hh inferrer.hh -PKG_CC = model.cc model_mgr.cc resolver.cc analyzer.cc inferrer.cc \ - symbol.cc +PKG_CC = model.cc model_mgr.cc resolver.cc analyzer.cc inferrer.cc PKG_SOURCES = $(PKG_H) $(PKG_CC) diff --git a/src/model/compilers/Makefile.am b/src/model/compilers/Makefile.am index da029ade..0e15aac7 100644 --- a/src/model/compilers/Makefile.am +++ b/src/model/compilers/Makefile.am @@ -1,7 +1,8 @@ INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ --I$(top_srcdir)/src/type -I$(top_srcdir)/src/expr/walkers \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/model/compilers \ +-I$(top_srcdir)/src/type -I$(top_srcdir)/src/symb \ +-I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/model/compilers \ -I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ -I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/sat/proof \ -I$(top_srcdir)/src/sat/utils -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 1f6e9f2e..85d838db 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -4,20 +4,21 @@ SUBDIRS = grammars AM_CPPFLAGS = @AM_CPPFLAGS@ AM_CXXFLAGS = -Wno-unused-variable -Wno-unused-function -DANTLR3_INLINE_INPUT_8BIT -INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ --I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ --I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/cmd -I$(top_srcdir)/src/model \ --I$(top_srcdir)/src/sat -I$(top_srcdir)/src/algorithms \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/witness \ --I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat/mtl \ --I$(top_srcdir)/src/sat/proof -I$(top_srcdir)/src/sat/utils \ --I$(top_srcdir)/src/grammars -I$(top_srcdir)/src/3rdparty/ezlogger \ --I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ --I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ --I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ --I$(top_srcdir)/src/dd/cudd-2.5.0/st \ --I$(top_srcdir)/src/dd/cudd-2.5.0/util \ +INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ +-I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ +-I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/cmd \ +-I$(top_srcdir)/src/model -I$(top_srcdir)/src/sat \ +-I$(top_srcdir)/src/algorithms -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/witness -I$(top_srcdir)/src/sat/core \ +-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/sat/proof \ +-I$(top_srcdir)/src/sat/utils -I$(top_srcdir)/src/grammars \ +-I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/st \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/util \ -I$(top_srcdir)/src/dd/cudd-2.5.0/obj PKG_HH = grammars/smvLexer.h grammars/smvParser.h diff --git a/src/symb/Makefile.am b/src/symb/Makefile.am new file mode 100644 index 00000000..1c90fd92 --- /dev/null +++ b/src/symb/Makefile.am @@ -0,0 +1,27 @@ +AUTOMAKE_OPTIONS = subdir-objects +SUBDIRS = +INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/expr \ +-I$(top_srcdir)/src/dd -I$(top_srcdir)/src/enc \ +-I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ +-I$(top_srcdir)/src/model -I$(top_srcdir)/src/mc \ +-I$(top_srcdir)/src/3rdparty/ezlogger \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/st \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/util \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/obj + +AM_CPPFLAGS = @AM_CPPFLAGS@ +AM_CXXFLAGS = @AM_CXXFLAGS@ + +PKG_HH = symbol.hh + +PKG_CC = symbol.cc + +PKG_SOURCES = $(PKG_H) $(PKG_CC) + +# ------------------------------------------------------- + +noinst_LTLIBRARIES = libsymb.la +libsymb_la_SOURCES = $(PKG_SOURCES) diff --git a/src/model/symbol.cc b/src/symb/symbol.cc similarity index 99% rename from src/model/symbol.cc rename to src/symb/symbol.cc index 88bef8da..5871fbc7 100644 --- a/src/model/symbol.cc +++ b/src/symb/symbol.cc @@ -95,9 +95,6 @@ ostream& operator<<(ostream& os, Module& module) ostream& operator<<(ostream& os, AnalyzerException& ae) { return os << ae.what(); } - -// - Module::Module(const Expr_ptr name) : f_name(name) diff --git a/src/model/symbol.hh b/src/symb/symbol.hh similarity index 100% rename from src/model/symbol.hh rename to src/symb/symbol.hh diff --git a/src/type/Makefile.am b/src/type/Makefile.am index 822373b4..44f7ee63 100644 --- a/src/type/Makefile.am +++ b/src/type/Makefile.am @@ -4,7 +4,7 @@ SUBDIRS = INCLUDES = -I$(top_srcdir)/src \ -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/symb \ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/3rdparty/ezlogger \ -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ diff --git a/src/witness/Makefile.am b/src/witness/Makefile.am index 071d1dc1..8bb65278 100644 --- a/src/witness/Makefile.am +++ b/src/witness/Makefile.am @@ -3,10 +3,11 @@ AUTOMAKE_OPTIONS = subdir-objects INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \ -I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \ -I$(top_srcdir)/src/expr/walkers -I$(top_srcdir)/src/type \ --I$(top_srcdir)/src/model -I$(top_srcdir)/src/mc \ --I$(top_srcdir)/src/utils -I$(top_srcdir)/src/3rdparty/ezlogger \ --I$(top_srcdir)/src/sat/core -I$(top_srcdir)/src/sat \ --I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ +-I$(top_srcdir)/src/symb -I$(top_srcdir)/src/model \ +-I$(top_srcdir)/src/mc -I$(top_srcdir)/src/utils \ +-I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \ +-I$(top_srcdir)/src/sat -I$(top_srcdir)/src/sat/mtl \ +-I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \ -I$(top_srcdir)/src/dd/cudd-2.5.0/epd \ -I$(top_srcdir)/src/dd/cudd-2.5.0/st \