У меня есть несколько относительно простых (автоматически сгенерированных) графиков в формате graphviz dot. Они показывают путь через конечный автомат, но точка имеет слегка сбивающую с толку привычку решать, что два узла должны быть в одном и том же ранге, когда я бы хотел, чтобы график был в государственном порядке. Я перепробовал множество настроек (включая :n
и :s
и weight
, перечисленные ниже), но я не могу убедить точку поставить третье состояние выше Четвертое состояние.
У меня есть эта проблема с большим количеством графиков: кажется, что есть что-то внутреннее для точки, которое решает, что было бы лучше, если бы два узла были в одном ранге, и ничего нельзя было бы сделать, чтобы переопределить это. У меня даже был код, который указывает, что один узел должен быть rank=sink
, но dot все равно решил поставить другой узел под ним.
Есть ли способ предложить поставить точку, что более важно, чтобы узлы были в порядке, чем любое другое ограничение?
Код, который использовался для генерации графика, выглядит следующим образом:
digraph {
ERROR [label="Error"];
FirstSTATE [label="Initial State" URL="\ref FirstSTATE"];
FirstSTATE -> SecondSTATE;
SecondSTATE [label="Second State" URL="\ref SecondSTATE"];
SecondSTATE -> ThirdSTATE;
ThirdSTATE [label="Third State" URL="\ref ThirdSTATE"];
FourthSTATE [label="Fouth State?" shape="diamond"];
ThirdSTATE:s -> FourthSTATE:n [weight=50];
FourthSTATE -> FifthSTATE [label="Yes" ];
FourthSTATE -> ThirdSTATE [label="No"];
FifthSTATE [label="Fifth State" URL="\ref FifthSTATE"];
SixthSTATE [label="Sixth State?" shape="diamond"];
SixthSTATE -> ERROR [label="Yes" ];
SixthSTATE -> SeventhSTATE [label="No"];
FifthSTATE -> SixthSTATE;
SeventhSTATE [label="Seventh State" URL="\ref SeventhSTATE"];
SeventhSTATE -> EighthSTATE;
EighthSTATE [label="Eighth State" URL="\ref EighthSTATE"];
NinthSTATE [label="Ninth State?" shape="diamond"];
NinthSTATE -> TenthSTATE [label="Yes" ];
NinthSTATE -> EighthSTATE [label="No"];
EighthSTATE -> NinthSTATE;
TenthSTATE [label="Tenth State" URL="\ref TenthSTATE"];
EleventhSTATE [label="Eleventh State?" shape="diamond"];
EleventhSTATE -> ERROR [label="Yes" ];
EleventhSTATE -> TwelfthSTATE [label="No" ];
TenthSTATE -> EleventhSTATE;
TwelfthSTATE [label="Twelfth State" URL="\ref TwelfthSTATE"];
}
График в настоящее время выглядит так: