'Calculate and return all the legal pluggings (mappings of labels to
holes) of this semantics given the constraints.'

def pluggings(self):

    record = []
    self._plug_nodes([(self.top_hole, [])], self.top_most_labels, {}, record)
    return record
