Template Struct specEPSBuilder

Defined in File TypedAnalyser.h

Inheritance Relationships

Base Type

public VAL::EPSBuilder (Struct EPSBuilder)

Struct Documentation

template<class EPS_T> struct specEPSBuilder : public VAL::EPSBuilder 

Public Functions

inline virtual extended_pred_symbol *operator()(pred_symbol *nm, proposition *p)

inline virtual extended_pred_symbol *operator()(pred_symbol *nm, EPSTypeIterator s, EPSTypeIterator e)