#include "Int.hpp"
#include "List.hpp"
Go to the source code of this file.
Compounds | |
class | Signature |
class | Signature::Fun |
class | Signature::FunIterator |
class | Signature::Iterator |
class | Signature::Pred |
class | Signature::PredIterator |
class | Signature::Symbol |
Defines | |
#define | NO_OF_BUCKETS 2039 |
Functions | |
ostream & | operator<< (ostream &str, const Signature::Symbol *p) |
Variables | |
Signature * | sig |
|
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 |
|
|
|
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 |