merc_syntax 2.0.0

Provides an AST and Pest grammar for the mCRL2 specification language.
Documentation 
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

% Author(s): Aad Mathijssen, Jeroen Keiren
% Copyright: see the accompanying file COPYING or copy at
% https://github.com/mCRL2org/mCRL2/blob/master/COPYING
%
% Distributed under the Boost Software License, Version 1.0.
% (See accompanying file LICENSE_1_0.txt or copy at
% http://www.boost.org/LICENSE_1_0.txt)
%
% Specification of the Bool data sort.

sort Bool;

cons true: Bool;
    false: Bool;

map !: Bool -> Bool;
    &&: Bool # Bool -> Bool;
    ||: Bool # Bool -> Bool;
    =>: Bool # Bool -> Bool;

var b:Bool;
eqn !true = false;
    !false = true;
    !!b = b;
    b && true = b;
    b && false = false;
    true && b = b;
    false && b = false;
    b || true = true;
    b || false = b;
    true || b = true;
    false || b = b;
    b => true = true;
    b => false = !(b);
    true => b = b;
    false => b = true;
    true == b = b;
    false == b = !(b);
    b == true = b;
    b == false = !b;
    false < b = b;
    true  < b = false;
    b < false = false;
    b < true = !b;
    false <= b = true;
    true  <= b = b;
    b <= false = !b;
    b <= true = true;