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 3f33681 commit bf336deCopy full SHA for bf336de
nnf/__init__.py
@@ -999,7 +999,7 @@ def pair(node: NNF) -> NNF:
999
return pair(sentence)
1000
1001
def project(self, names: 't.Iterable[Name]') -> 'NNF':
1002
- """Dual of :meth:`forget: will forget all variables not given"""
+ """Dual of :meth:`forget`: will forget all variables not given"""
1003
return self.forget(self.vars() - frozenset(names))
1004
1005
def forget_aux(self) -> 'NNF':
0 commit comments