def __init__(self, original, replacementsByOriginalTupleIndex, replacement): """ generated source for method __init__ """ Preconditions.checkNotNull(original) Preconditions.checkNotNull(replacementsByOriginalTupleIndex) Preconditions.checkArgument(not replacementsByOriginalTupleIndex.isEmpty()) Preconditions.checkNotNull(replacement) for varIndex in replacementsByOriginalTupleIndex.keySet(): Preconditions.checkElementIndex(varIndex, original.getTupleSize()) self.original = original self.replacementsByOriginalTupleIndex = replacementsByOriginalTupleIndex self.replacement = replacement
def getDomainForSlot(self, slotIndex): """ generated source for method getDomainForSlot """ Preconditions.checkElementIndex(slotIndex, self.form.getTupleSize()) return self.domainsForSlots.get(slotIndex)