#include <Signature.hpp>
Public Types | |
typedef List< Symbol *, CID_PSYM_LIST > | List |
Public Member Functions | |
Signature () | |
~Signature () | |
Fun * | createFun (const char *name, int arity) |
Pred * | createPred (const char *name, int arity) |
Pred * | equality () |
int | noOfPreds () const |
int | noOfFuns () const |
bool | arityCheck () const |
Fun * | newSkolemFunction (int arity) |
void | createAnswerAtom (TermList args, Atom &answer) |
void | addArithmetic () |
bool | isAnswer (const Pred *p) const |
Private Member Functions | |
Symbol * | create (const char *str, int arity, List **buckets, bool isPred) |
bool | existsFun (const char *name) const |
Static Private Member Functions | |
int | hash (const char *) |
Private Attributes | |
List * | _fbuckets [NO_OF_BUCKETS] |
List * | _pbuckets [NO_OF_BUCKETS] |
int | _noOfPreds |
int | _noOfFuns |
int | _lastSkolem |
Pred * | _answer |
Pred * | _equality |
Friends | |
class | SymCounter |
class | FunIterator |
class | PredIterator |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|