Class PropInfoFactory

Defined in File TypedAnalyser.h

Class Documentation

class PropInfoFactory

Public Functions

inline virtual ~PropInfoFactory()

inline virtual PropInfo *createPropInfo(proposition *p)

inline virtual PropInfo *createPropInfo(proposition *p, FastEnvironment *fe)

Public Static Functions

static inline PropInfoFactory &instance()

static inline void setInstance(PropInfoFactory *p)

Protected Static Attributes

static PropInfoFactory *pf