Die Kante des Beweisbaums nimmt den Stil der anderen Kante an, wenn „move by“ zweimal verwendet wird.

Question

Ich benutze das Paketprooftrees, das auf dem Ti basiertkZ forest. Da ich Beweise mit vielen Zweigen zeichnen muss, möchte ich, dass einige Knoten tiefer liegen, was durch die Option „move by“ unterstützt wird. Wenn ich die Option „move by“ jedoch zweimal verwende, scheint es, als würde beim zweiten Mal der Stil der ersten Kante verwendet, um den Sprung innerhalb der zweiten Kante auszufüllen.

Ich habe den Beweis im folgenden Beispiel vereinfacht:

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
\usepackage{prooftrees}

\begin{document}
\begin{prooftree}{close with=$\times$, single branches=true, align=center}
    [Mary: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}
        [Mary: \exists hasPet.Cat, just={$\sqcup$}, close]
        [Mary: \neg CatLady
        [John: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}, move by=1, edge=green
        [John: \exists hasPet.Cat, just={$\sqcup$}, edge=dashed
        [(John{, }Y): hasPet{, } Y: Cat, just={$\exists$}, close={$\sqsubseteq$}, move by=2, edge=dashed]
        ]
        ]
        ]
    ]
\end{prooftree}

\end{document}

Das gibt mir folgendes Ergebnis:

Die Kante zwischen 4 und 5 sollte komplett gestrichelt und schwarz sein, aber aus irgendeinem Grund gibt es einen grünen, durchgezogenen Teil (der von der Kante zwischen 2 und 3 kopiert wurde). Durch Entfernen der Option „Verschieben nach“ von einer der beiden Kanten tritt dieser Effekt nicht auf. Darüber hinaus tritt dies nur auf, wenn sich vor der ersten Zeile mit der Option „Verschieben nach“ ein geschlossener Zweig befindet.

Weiß jemand, wie man verhindern kann, dass der Stil der ersten Kante, die die Option „Verschieben um“ verwendet, auf andere Kanten kopiert wird, die ebenfalls die Option „Verschieben um“ verwenden?

Answer 1

Die Version 0.7 prooftreesbehebt diesen Fehler. Das Update wurde auf CTAN hochgeladen und sollte daher in Kürze verfügbar sein.

\documentclass[tikz,border=10pt]{standalone}
\usepackage{prooftrees}

\begin{document}
\begin{prooftree}{close with=$\times$, single branches=true, align=center}
    [Mary: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}
        [Mary: \exists hasPet.Cat, just={$\sqcup$}, close]
        [Mary: \neg CatLady
        [John: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}, move by=1, edge=green
        [John: \exists hasPet.Cat, just={$\sqcup$}, edge=dashed
        [(John{, }Y): hasPet{, } Y: Cat, just={$\exists$}, close={$\sqsubseteq$}, move by=2, edge=dashed, ]
        ]
        ]
        ]
    ]
\end{prooftree}

\end{document}