Searched refs:alpha_convert (Results 1 – 3 of 3) sorted by relevance
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/sem/ |
| H A D | drt.py | 329 variable, expression, True, alpha_convert
342 if alpha_convert:
351 ref, newvarex, True, alpha_convert
367 variable, expression, replace_bound, alpha_convert
696 def alpha_convert(self, newvar): member in DrtLambdaExpression
804 variable, expression, replace_bound, alpha_convert
807 variable, expression, replace_bound, alpha_convert
814 if alpha_convert:
818 first = first.replace(ref, v, True, alpha_convert)
827 variable, expression, replace_bound, alpha_convert
[all …]
|
| H A D | logic.py | 1090 def replace(self, variable, expression, replace_bound=False, alpha_convert=True): argument
1104 lambda e: e.replace(variable, expression, replace_bound, alpha_convert),
1437 def replace(self, variable, expression, replace_bound=False, alpha_convert=True): argument
1620 def replace(self, variable, expression, replace_bound=False, alpha_convert=True): argument
1634 self.term.replace(variable, expression, True, alpha_convert),
1641 if alpha_convert and self.variable in expression.free():
1642 self = self.alpha_convert(unique_variable(pattern=self.variable))
1647 self.term.replace(variable, expression, replace_bound, alpha_convert),
1650 def alpha_convert(self, newvar): member in VariableBinderExpression
2037 e2 = e1.alpha_convert(Variable('z'))
|
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/test/ |
| H A D | logic.doctest | 52 >>> e2 = e1.alpha_convert(Variable('z'))
|