We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent be8543f commit e59faf6Copy full SHA for e59faf6
planning.py
@@ -60,7 +60,7 @@ def __call__(self, kb, args):
60
return self.act(kb, args)
61
62
def substitute(self, e, args):
63
- """Replaces variables in expression with their respective Propostional symbol"""
+ """Replaces variables in expression with their respective Propositional symbol"""
64
new_args = list(e.args)
65
for num, x in enumerate(e.args):
66
for i in range(len(self.args)):
0 commit comments