File: lattice1.dot

package info (click to toggle)
pypy3 7.3.11%2Bdfsg-2%2Bdeb12u3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 201,024 kB
  • sloc: python: 1,950,308; ansic: 517,580; sh: 21,417; asm: 14,419; cpp: 4,263; makefile: 4,228; objc: 761; xml: 530; exp: 499; javascript: 314; pascal: 244; lisp: 45; csh: 11; awk: 4
file content (14 lines) | stat: -rw-r--r-- 382 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
digraph lattice {
    Top -> NullableStr -> Str -> Char -> Bottom;
    Top -> Int -> NonNegInt -> Bool -> Bottom;
    Top -> "*instances*" -> Bottom;
    "*instances*" -> None;
    NullableStr -> None;
    Top -> "*PBCs*" -> Bottom;
    "*PBCs*" -> None;
    Top -> "*lists*" -> None -> Bottom;

    "*lists*" [shape=box];
    "*instances*" [shape=box];
    "*PBCs*" [shape=box];
}