fsharp-starter/SignAnalysis.fs at main · cmatheja/fsharp-starter · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
module SignAnalysis

open Types

(*
     This defines the input and output of the sign analysis. Please do not
    change the definitions below as they are needed for the validation and
    evaluation tools!
*)

type Sign =
    | Negative
    | Zero
    | Positive

type SignAssignment =
    { variables: Map<string, Sign>
      arrays: Map<string, Set<Sign>> }

type Input =
    { determinism: Determinism
      assignment: SignAssignment }

type Output =
    { initial_node: string
      final_node: string
      nodes: Map<string, Set<SignAssignment>> }


// Start you implementation here
let analysis (src: string) (input: Input) : Output =
    failwith "Sign analysis not yet implemented"