diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-10-18 10:07:18 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-18 10:07:18 -0500 |
| commit | 406bcd32cbf8a1ee48af02fc6cddc618158762f0 (patch) | |
| tree | 2c879879426023392988e0218d0357270f6dd433 /src/bindings | |
| parent | 9a3adaec00e4d36619a2eb78756914b22cde2a36 (diff) | |
Introducing internal commands for SyGuS commands (#2627)
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/java/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index c3fee67a5..3423a3e1b 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -77,6 +77,9 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/DeclarationDefinitionCommand.java ${CMAKE_CURRENT_BINARY_DIR}/DeclarationSequence.java ${CMAKE_CURRENT_BINARY_DIR}/DeclareFunctionCommand.java + ${CMAKE_CURRENT_BINARY_DIR}/DeclareSygusFunctionCommand.java + ${CMAKE_CURRENT_BINARY_DIR}/DeclareSygusPrimedVarCommand.java + ${CMAKE_CURRENT_BINARY_DIR}/DeclareSygusVarCommand.java ${CMAKE_CURRENT_BINARY_DIR}/DeclareTypeCommand.java ${CMAKE_CURRENT_BINARY_DIR}/DefineFunctionCommand.java ${CMAKE_CURRENT_BINARY_DIR}/DefineFunctionRecCommand.java @@ -200,7 +203,10 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/Statistics.java ${CMAKE_CURRENT_BINARY_DIR}/StatisticsBase.java ${CMAKE_CURRENT_BINARY_DIR}/StringType.java + ${CMAKE_CURRENT_BINARY_DIR}/SygusConstraintCommand.java + ${CMAKE_CURRENT_BINARY_DIR}/SynthFunCommand.java ${CMAKE_CURRENT_BINARY_DIR}/SygusGTerm.java + ${CMAKE_CURRENT_BINARY_DIR}/SygusInvConstraintCommand.java ${CMAKE_CURRENT_BINARY_DIR}/SygusPrintCallback.java ${CMAKE_CURRENT_BINARY_DIR}/SymbolTable.java ${CMAKE_CURRENT_BINARY_DIR}/SymbolType.java |