Skip to content

Commit

Permalink
Refactored symbols into package
Browse files Browse the repository at this point in the history
  • Loading branch information
@mwolf76
mwolf76 committed Apr 8, 2013
1 parent f70b578 commit 9a455cd
Show file tree
Hide file tree
Showing 16 changed files with 95 additions and 69 deletions.
8 changes: 4 additions & 4 deletions Makefile.am
View file
Expand Up @@ -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 \
Expand Down
1 change: 1 addition & 0 deletions configure.ac
View file
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion src/Makefile.am
View file
@@ -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
10 changes: 5 additions & 5 deletions src/algorithms/Makefile.am
View file
Expand Up @@ -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 \
Expand Down
10 changes: 5 additions & 5 deletions src/algorithms/bmc/Makefile.am
View file
Expand Up @@ -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 \
Expand Down
10 changes: 5 additions & 5 deletions src/algorithms/kind/Makefile.am
View file
Expand Up @@ -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 \
Expand Down
10 changes: 5 additions & 5 deletions src/algorithms/sim/Makefile.am
View file
Expand Up @@ -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 \
Expand Down
30 changes: 15 additions & 15 deletions src/cmd/Makefile.am
View file
@@ -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@
Expand Down
8 changes: 3 additions & 5 deletions src/model/Makefile.am
View file
Expand Up @@ -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 \
Expand All @@ -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)

Expand Down
5 changes: 3 additions & 2 deletions src/model/compilers/Makefile.am
View file
@@ -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 \
Expand Down
29 changes: 15 additions & 14 deletions src/parser/Makefile.am
View file
Expand Up @@ -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
Expand Down
27 changes: 27 additions & 0 deletions src/symb/Makefile.am
View file
@@ -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)
3 changes: 0 additions & 3 deletions src/model/symbol.cc → src/symb/symbol.cc
View file
Expand Up @@ -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)

Expand Down
0 src/model/symbol.hh → src/symb/symbol.hh
View file
File renamed without changes.
2 changes: 1 addition & 1 deletion src/type/Makefile.am
View file
Expand Up @@ -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 \
Expand Down
9 changes: 5 additions & 4 deletions src/witness/Makefile.am
View file
Expand Up @@ -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 \
Expand Down

0 comments on commit 9a455cd

Please sign in to comment.