Package aterm :: Module asd :: Class Production

[frames] | no frames]

Class Production

Production description.

Instance Methods

__init__(self, name, constructors)

validate(self, spec, term)

subproductions(self, spec, skip)

__str__(self)