diff options
| author | PaulMeng <baolmeng@gmail.com> | 2016-02-09 14:51:44 -0600 |
|---|---|---|
| committer | PaulMeng <baolmeng@gmail.com> | 2016-02-09 14:51:44 -0600 |
| commit | 371c0799fa38452c2186efd268c73a42c282c96e (patch) | |
| tree | a2cce6952fd878532810c8db8721399bc5fa4c3b /src/Makefile.am | |
| parent | 2dd6292b73e4e19be2e261c7fe5664bd2b0149bd (diff) | |
- extend cvc4 frontend parser to accept relational operators (product,
join, transpose, transitive closure)
- added a finite relations module to collect all relational terms in EE
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 4f2998e7a..040be7fae 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -255,6 +255,8 @@ libcvc4_la_SOURCES = \ theory/sets/theory_sets.h \ theory/sets/theory_sets_private.cpp \ theory/sets/theory_sets_private.h \ + theory/sets/theory_sets_rels.cpp \ + theory/sets/theory_sets_rels.h \ theory/sets/theory_sets_rewriter.cpp \ theory/sets/theory_sets_rewriter.h \ theory/sets/theory_sets_type_enumerator.h \ |