Struct EPSBuilder

Defined in File TypedAnalyser.h

Inheritance Relationships

Derived Type

public VAL::specEPSBuilder< EPS_T > (Template Struct specEPSBuilder)

Struct Documentation

struct EPSBuilder

Subclassed by VAL::specEPSBuilder< EPS_T >

Public Functions

inline virtual ~EPSBuilder()

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

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