-
- Downloads
Renamed kb.h to knowledge_base.h.
Showing
- CMakeLists.txt 1 addition, 1 deletionCMakeLists.txt
- src/limbo/format/pdl/context.h 1 addition, 1 deletionsrc/limbo/format/pdl/context.h
- src/limbo/formula.h 10 additions, 5 deletionssrc/limbo/formula.h
- src/limbo/knowledge_base.h 3 additions, 3 deletionssrc/limbo/knowledge_base.h
- src/limbo/term.h 3 additions, 3 deletionssrc/limbo/term.h
- tests/CMakeLists.txt 1 addition, 1 deletiontests/CMakeLists.txt
- tests/knowledge_base.cc 1 addition, 1 deletiontests/knowledge_base.cc
Loading
Please register or sign in to comment