#include <SymCounter.hpp>
Public Member Functions | |
| Pred () | |
| void | pred (Signature::Pred *p) |
| int | pocc () const |
| int | nocc () const |
| int | docc () const |
| Signature::Pred * | pred () |
| void | add (int polarity, int add) |
Private Attributes | |
| Signature::Pred * | _pred |
| int | _pocc |
| int | _nocc |
| int | _docc |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2