diff options
Diffstat (limited to 'Assignment2/src/Z3.dcl')
| -rw-r--r-- | Assignment2/src/Z3.dcl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Assignment2/src/Z3.dcl b/Assignment2/src/Z3.dcl index 0329987..e7555cf 100644 --- a/Assignment2/src/Z3.dcl +++ b/Assignment2/src/Z3.dcl @@ -4,10 +4,10 @@ from System.Process import :: ProcessHandle, :: ProcessIO :: Z3 -startZ3 :: *World -> (Z3, *World) -addAssert :: Z3 String *World -> *World -addVariable :: Z3 String *World -> *World -checkSat :: Z3 *World -> (Bool, *World) +startZ3 :: !*World -> (!Z3, !*World) +addAssert :: !Z3 !String !*World -> !*World +addVariable :: !Z3 !String !*World -> !*World +checkSat :: !Z3 !*World -> (!Bool, !*World) // Note: getModel terminates z3 -getModel :: Z3 *World -> (String, *World) +getModel :: !Z3 !*World -> (!String, !*World) |