aboutsummaryrefslogtreecommitdiff
path: root/src/graph
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-06 12:53:32 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-06 12:53:32 -0800
commit7ad1bbdc6aa9780b9a7063299bf3b2d049106eed (patch)
tree410db04d8b72aa565b9986ec74022a1c110ba849 /src/graph
parent840651da76b018edd0fac7eac5087e8adb1701c8 (diff)
downloadopen-axiom-7ad1bbdc6aa9780b9a7063299bf3b2d049106eed.tar.gz
optNot: handle conjunction and disjunction operands
Diffstat (limited to 'src/graph')
0 files changed, 0 insertions, 0 deletions