Esempi in Python per safeDummyVar

Esempio n. 1

File: expr.py Progetto: wdcraft01/Prove-It

 def safeDummyVar(self):
     from proveit._core_.expression.label.var import safeDummyVar
     return safeDummyVar(self)

Esempio n. 2

 def safeDummyVars(self, n):
     from proveit._core_.expression.label.var import safeDummyVar
     dummyVars = []
     for _ in range (n):
         dummyVars.append(safeDummyVar(*([self] + dummyVars)))
     return dummyVars