I am using Graphviz to draw a lattice.
The nodes are set of numbers.
Being a lattice, I would like the height position (the y) of a node to represent the number of elements in the set represented by the node. Then the x position should be defined by graphviz to make the representation cleaner.
Is it possible?
According to the dot documentation there should be the attribute pos that should define the position of a node. But although I tried many times in many different ways I could not get any graph where the position of a node was defined. Did anyone had any success with this?
What follows is the classical dot file I use:
digraph G {
"528 544\n640 768" -> "768 528";
"528 536\n530 539" -> "539";
"528 536\n530 539" -> "528";
"800 896 548\n944 566 728\n539 704 768" -> "704 768\n539 548";
"800 896 548\n944 566 728\n539 704 768" -> "944 728\n539 566";
"800 896 548\n944 566 728\n539 704 768" -> "944 800\n896 768";
"768 539" -> "768";
"768 539" -> "539";
"768" -> "∅";
"944" -> "∅";
"944 528 536\n530 566 560\n728 656 539" -> "528 536\n530 539";
"944 528 536\n530 566 560\n728 656 539" -> "944 728\n539 566";
"944 528 536\n530 566 560\n728 656 539" -> "944 656\n528 560";
"704 768\n539 548" -> "768 539";
"944 728\n539 566" -> "944";
"944 728\n539 566" -> "539";
"800 896 640\n944 560 528\n544 656 768" -> "528 544\n640 768";
"800 896 640\n944 560 528\n544 656 768" -> "944 656\n528 560";
"800 896 640\n944 560 528\n544 656 768" -> "944 800\n896 768";
"539" -> "∅";
"944 656\n528 560" -> "944";
"944 656\n528 560" -> "528";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "800 896 548\n944 566 728\n539 704 768";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "944 528 536\n530 566 560\n728 656 539";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "800 896 640\n944 560 528\n544 656 768";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "768 704 548\n528 530 544\n536 640 539";
"768 528" -> "768";
"768 528" -> "528";
"528" -> "∅";
"768 704 548\n528 530 544\n536 640 539" -> "528 544\n640 768";
"768 704 548\n528 530 544\n536 640 539" -> "704 768\n539 548";
"768 704 548\n528 530 544\n536 640 539" -> "768 528 530\n539 536";
"944 800\n896 768" -> "768";
"944 800\n896 768" -> "944";
"768 528 530\n539 536" -> "528 536\n530 539";
"768 528 530\n539 536" -> "768 539";
"768 528 530\n539 536" -> "768 528";
}
If anyone could write an example of a file where the height of one node was defined I would be very grateful.