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)
