kilian/nmrproject
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Dateien nach "mod/butadien" hochladen

Browse Source
This commit is contained in:
kilian 2026-07-23 15:15:29 +02:00
parent 756826ac0e
commit f8c5f76531
2 changed files with 30 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
mod/butadien/butadien.py
View File

@ -22,6 +22,34 @@ butadien = Graph.fromGMLString("""graph [
edge [ source 3 target 9 label "-" ]
]""", name="Butadien")
pentadien = Graph.fromGMLString("""graph [
node [ id 0 label "C" ]
node [ id 1 label "C" ]
node [ id 2 label "C" ]
node [ id 3 label "C" ]
node [ id 4 label "H" ]
node [ id 5 label "H" ]
node [ id 6 label "H" ]
node [ id 7 label "H" ]
node [ id 8 label "H" ]
node [ id 9 label "C" ]
node [ id 10 label "H" ]
node [ id 11 label "H" ]
node [ id 12 label "H" ]
edge [ source 0 target 1 label "=" ]
edge [ source 1 target 2 label "-" ]
edge [ source 2 target 3 label "=" ]
edge [ source 0 target 4 label "-" ]
edge [ source 0 target 5 label "-" ]
edge [ source 1 target 6 label "-" ]
edge [ source 2 target 7 label "-" ]
edge [ source 3 target 8 label "-" ]
edge [ source 3 target 9 label "-" ]
edge [ source 9 target 10 label "-" ]
edge [ source 9 target 11 label "-" ]
edge [ source 9 target 12 label "-" ]
]""", name="Pentadien")
restswap = Rule.fromGMLString(
"""rule [
left [
@ -83,7 +111,7 @@ dg = DG(graphDatabase=inputGraphs)
dg.build().execute(
addSubset(inputGraphs)
>> rightPredicate[
lambda d: all(g.vLabelCount("C") <= 8 for g in d.right)
lambda d: all(g.vLabelCount("C") <= 6 for g in d.right)
](
repeat(revive(inputRules)) #Revive not necessary
)
@ -95,7 +123,7 @@ for a in dg.vertices:
a.graph.print()
flowAutocata = Flow(dg)
flowAutocata.addSource(butadien)
flowAutocata.addSource(pentadien)
flowAutocata.findSolutions()
flowAutocata.solutions.list()
flowAutocata.solutions.print(flowPrinter)

BIN
mod/butadien/summaryButadien.pdf
View File

Binary file not shown.