#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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2