Skip to content

Add Implication and Remove Nesting #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
haz merged 18 commits into from
Nov 23, 2021
Merged

Add Implication and Remove Nesting #27

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
6404074
add __rshift__
Sep 19, 2021
56037e0
add docs
Sep 19, 2021
cc7e5ad
fix nesting issue
Sep 19, 2021
d3dc209
allow for two And's to be joined
Sep 19, 2021
af2d101
convert to flatten function
Sep 21, 2021
667a886
add flatten to __all__
Sep 21, 2021
98e22b1
flatten add children bug fix
Sep 21, 2021
182dcd7
make operator type the type of the current nnf
Sep 21, 2021
1009a3b
remove extra testing
Sep 21, 2021
273ffbd
update children recursively, simplify algorithm
Sep 21, 2021
eafb02d
clean up
Sep 21, 2021
77b641a
remove recursion so only 1 level is flattened
Sep 22, 2021
627bcec
add to imports
Sep 22, 2021
40e2033
optionally remove nesting when operator is used
Sep 22, 2021
ddcfe8a
remove old function
Sep 22, 2021
202efb7
make requested changes
Sep 27, 2021
8177ae2
Update test_nnf.py config settings
beckydvn Oct 25, 2021
ed31611
fix flake8
Oct 23, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
add docs
  • Loading branch information
beckydvn committed Sep 19, 2021
commit 56037e076f57ec64d7877bbccc51c5d8982b0653
3 changes: 2 additions & 1 deletion nnf/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,8 @@ def __or__(self: T_NNF, other: U_NNF) -> 'Or[t.Union[T_NNF, U_NNF]]':
"""Or({self, other})"""
return Or({self, other})

def __rshift__(self: T_NNF, other: U_NNF):
def __rshift__(self: T_NNF, other: U_NNF)-> 'Or[t.Union[T_NNF.negate(), U_NNF]]':
Comment thread
beckydvn marked this conversation as resolved.
Outdated
"""Or({self.negate(), other})"""
return Or({self.negate(), other})

def walk(self) -> t.Iterator['NNF']:
Expand Down