#include <cstdlib>
#include "assert.hpp"
Go to the source code of this file.
Compounds | |
class | Memory |
class | Memory::LeakChecker |
Enumerations | |
enum | ClassID { CID_VTERM, CID_CTERM, CID_NTERM, CID_ATOM, CID_QFORMULA, CID_VARLIST, CID_INTLIST, CID_VARLIST_LIST, CID_ASSOC_PAIR_LIST, CID_SYMBOL, CID_FSYM_LIST, CID_PSYM_LIST, CID_TERM_LIST, CID_ATOM_LIST, CID_LITERAL, CID_LITERAL_LIST, CID_CLAUSE, CID_CLAUSE_LIST, CID_FORMULA_LIST, CID_ENTRY, CID_ENTRY_LIST, CID_UNIT, CID_UNIT_LIST, CID_UNIT_LINK, CID_NAME_TABLE, CID_BINDING, CID_BINDING_LIST, CID_REN_BINDING, CID_REN_BINDING_LIST, CID_OPTION_LIST, CID_ULONG_LIST, CID_KERNEL_CLAUSE_LIST, CID_FORALL_OR_MINISCOPE, CID_DUMMY_QUANTIFIER_REMOVAL, CID_FLATTEN, CID_INFERENCE_TYPE1 } |
Functions | |
const char * | id2name (ClassID) |
|
This software is an adaptation of the theorem prover Vampire for working with large knowledge bases in the KIF format, see http://www.prover.info for publications on Vampire. Copyright (C) Andrei Voronkov and Alexandre Riazanov
This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
|