Struct instantiatedDrvUtils::index

Defined in File instantiation.h

Nested Relationships

This struct is a nested type of Class instantiatedDrvUtils.

Struct Documentation

struct index

Public Functions

inline index(VAL::pred_symbol *a, const VAL::derivation_rule *b)

Public Members

VAL::pred_symbol *first

const VAL::derivation_rule *second