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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/**************************************************************************
* *
* Regina - A Normal Surface Theory Calculator *
* Computational Engine *
* *
* Copyright (c) 1999-2011, Ben Burton *
* For further details contact Ben Burton (bab@debian.org). *
* *
* This program is free software; you can redistribute it and/or *
* modify it under the terms of the GNU General Public License as *
* published by the Free Software Foundation; either version 2 of the *
* License, or (at your option) any later version. *
* *
* This program is distributed in the hope that it will be useful, but *
* WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
* General Public License for more details. *
* *
* You should have received a copy of the GNU General Public *
* License along with this program; if not, write to the Free *
* Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, *
* MA 02110-1301, USA. *
* *
**************************************************************************/
/* end stub */
#include "utilities/nbooleans.h"
#include <iostream>
namespace regina {
const NTriBool NTriBool::True(codeTrue);
const NTriBool NTriBool::False(codeFalse);
const NTriBool NTriBool::Unknown(codeUnknown);
const unsigned char NBoolSet::eltTrue = 1;
const unsigned char NBoolSet::eltFalse = 2;
const NBoolSet NBoolSet::sNone;
const NBoolSet NBoolSet::sTrue(true);
const NBoolSet NBoolSet::sFalse(false);
const NBoolSet NBoolSet::sBoth(true, true);
std::ostream& operator << (std::ostream& out, const NTriBool& tri) {
if (tri.isTrue())
out << "true";
else if (tri.isFalse())
out << "false";
else
out << "unknown";
return out;
}
std::ostream& operator << (std::ostream& out, const NBoolSet& set) {
if (set == NBoolSet::sNone)
out << "{ }";
else if (set == NBoolSet::sTrue)
out << "{ true }";
else if (set == NBoolSet::sFalse)
out << "{ false }";
else
out << "{ true, false }";
return out;
}
} // namespace regina
|
