Copyright | (c) Marcellus Siegburg 2019 |
---|---|
License | MIT |
Maintainer | marcellus.siegburg@uni-due.de |
Safe Haskell | None |
Language | Haskell2010 |
Language.Alloy.Call
Description
This module provides basic functionality to interact with Alloy. This library contains Alloy and an (internal) interface to interact with it. These libraries will be placed into the users directory during execution. A requirement for this library to work is a Java Runtime Environment (as it is required by Alloy).
Synopsis
- existsInstance :: String -> IO Bool
- getInstances :: Maybe Integer -> String -> IO [String]
Documentation
Arguments
:: String | The Alloy specification which should be loaded. |
-> IO Bool | Whether there exists a instance (within the given scope) |
Check if there exists a model for the given specification. This function calls
Alloy retrieving one instance. If there is no such instance, it returns false.
This function calls getInstances
.