File: lattice1.dot

package info (click to toggle)
pypy3 7.3.19%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 212,236 kB
  • sloc: python: 2,098,316; ansic: 540,565; sh: 21,462; asm: 14,419; cpp: 4,451; makefile: 4,209; objc: 761; xml: 530; exp: 499; javascript: 314; pascal: 244; lisp: 45; csh: 12; 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];
}