A kind is a role of a graph in a grammar,
for exmpl.: a type graph - TG, a host graph - HOST,
the left graph of a rule - LHS, the right graph of a rule - RHS,
a NAC graph - NAC, a PAC graph - PAC and so on.
A variable context mins that mainly variables will be used as values of
the graph objects of a graph, so if a rule / match attribute context has
an attribute condition, it cannot be evaluated and will get TRUE as
result.
A variable context mins that mainly variables will be used as values of
the graph objects of a graph, so if a rule / match attribute context has
an attribute condition, it cannot be evaluated and will get TRUE as
result.
A variable context mins that mainly variables will be used as values of
the graph objects of a graph, so if a rule / match attribute context has
an attribute condition, it cannot be evaluated and will get TRUE as
result.