cvc4-1.4
|
Go to the source code of this file.
Data Structures | |
struct | CVC4::kind::KindHashFunction |
struct | CVC4::TypeConstantHashFunction |
We hash the constants with their values. More... | |
Namespaces | |
CVC4 | |
CVC4::kind | |
CVC4::theory | |
Typedefs | |
typedef ::CVC4::kind::Kind_t | CVC4::Kind |
Functions | |
std::ostream & | CVC4::kind::operator<< (std::ostream &, CVC4::Kind) |
bool | CVC4::kind::isAssociative (::CVC4::Kind k) |
Returns true if the given kind is associative. More... | |
std::string | CVC4::kind::kindToString (::CVC4::Kind k) |
std::ostream & | CVC4::operator<< (std::ostream &out, TypeConstant typeConstant) |
TheoryId & | CVC4::theory::operator++ (TheoryId &id) |
std::ostream & | CVC4::theory::operator<< (std::ostream &out, TheoryId theoryId) |
TheoryId | CVC4::theory::kindToTheoryId (::CVC4::Kind k) |
TheoryId | CVC4::theory::typeConstantToTheoryId (::CVC4::TypeConstant typeConstant) |
Variables | |
const TheoryId | CVC4::theory::THEORY_FIRST |
const TheoryId | CVC4::theory::THEORY_SAT_SOLVER |
Copyright 2010-2014 New York University and The University of Iowa, and as below.
This header file automatically generated by:
/builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/expr/mkkind /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/expr/kind_template.h /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/builtin/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/booleans/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/uf/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/arith/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/bv/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/arrays/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/datatypes/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/sets/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/strings/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/quantifiers/kinds /builddir/build/BUILD/cvc4-1.4/builds/aarch64-redhat-linux-gnu/production-abc-proof/../../../src/theory/idl/kinds
for the CVC4 project.
** Original author: Morgan Deters ** Major contributors: Dejan Jovanovic ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2014 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.
Template for the Node kind header
Template for the Node kind header.
Definition in file kind.h.