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