Class LeafAssociater

Defined in File TypedAnalyser.h

Inheritance Relationships

Base Type

public VAL::Associater (Class Associater)

Class Documentation

class LeafAssociater : public VAL::Associater 

Public Functions

inline LeafAssociater(pred_symbol *nm, proposition *p)

template<class TI> inline LeafAssociater(pred_symbol *nm, TI st, TI e)

inline virtual extended_pred_symbol *get()