Class instantiatedDrvUtils

• Defined in File instantiation.h

Nested Relationships

Nested Types

• Struct instantiatedDrvUtils::index

• Struct instantiatedDrvUtils::indexLT

Class Documentation

class instantiatedDrvUtils

Public Static Functions

static index *purify(const index*)

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