#include <Signature.hpp>
Inheritance diagram for Signature::Symbol:

Public Member Functions | |
| int | arity () const |
| const char * | name () const |
| const int | number () const |
| void | arity (int ar) |
| void | kernelNumber (unsigned long n) |
| unsigned long | kernelNumber () const |
Protected Member Functions | |
| Symbol (const char *name, int arity, int &number) | |
Protected Attributes | |
| const char * | _name |
| int | _arity |
| int | _number |
| unsigned long | _kernelNumber |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2