Struct OpProp

Defined in File TypedAnalyser.h

Struct Documentation

struct OpProp

Public Functions

inline OpProp(operator_ *o, const proposition *p)

inline OpProp(derivation_rule *o, const proposition *p)

Public Members

operator_ *op

derivation_rule *drv

const proposition *second