move by를 두 번 사용하면 증거나무의 가장자리가 다른 가장자리의 스타일을 취합니다.

Question

저는 패키지를 이용해요prooftrees, 이는 Ti를 기반으로 합니다.케이지 forest. 많은 가지가 있는 증명을 그려야 하기 때문에 일부 노드를 더 낮게 만들고 싶습니다. 이는 "move by" 옵션에서 지원됩니다. 그러나 이동 옵션을 두 번 사용하면 두 번째로 사용할 때 첫 번째 가장자리의 스타일이 두 번째 가장자리 내의 점프를 채우는 데 사용되는 것처럼 보입니다.

다음 예에서는 증명을 단순화했습니다.

\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}

그러면 다음과 같은 결과가 나옵니다.

4와 5 사이의 가장자리는 점선으로 완전히 검은색으로 표시되어야 하는데 무슨 이유에서인지 녹색의 단색 부분이 있습니다(2와 3 사이의 가장자리에서 복사한 것입니다). 두 가장자리 중 하나에서 이동 기준 옵션을 제거하면 이 효과가 발생하지 않습니다. 또한 이는 이동 옵션이 ​​있는 첫 번째 줄 앞에 닫힌 분기가 있는 경우에만 발생합니다.

"이동 기준" 옵션을 사용하는 첫 번째 가장자리의 스타일이 이동 기준 옵션을 사용하는 다른 가장자리에 복사되는 것을 방지하는 방법을 아는 사람이 있습니까?

Answer 1

버전 0.7에서는 prooftrees이 버그가 수정되었습니다. 업데이트가 CTAN에 업로드되었으므로 곧 제공될 것입니다.

\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}