-
Notifications
You must be signed in to change notification settings - Fork 1
/
TLFormula.inl.h
91 lines (70 loc) · 1.79 KB
/
TLFormula.inl.h
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
/*
* File: TLFormula.inl.h
* Project: QUEST
* Author: Marc Diefenbruch, Axel M. Hirche
* Date: (C) 1997, 1998 University of Essen, Germany
*/
#ifndef _TLFORMULA_INL_H_
#define _TLFORMULA_INL_H_
#include "SCL/SCObject.h"
#include "SCL/SCStream.h"
#include "TLHelp.h"
TLINLINE TLFormula::TLFormula (void)
{
assert (false); // Forbidden!!!
}
TLINLINE TLFormula::TLFormula (const TLLetter pOp,
SCNatural pAcceptSetNo,
const SCObject* pFather)
: SCObject (TL_FORMULA, pFather),
op (pOp),
acceptanceSetNo (pAcceptSetNo)
{
/*empty */
}
TLINLINE TLFormula::TLFormula (const TLFormula& phi)
: SCObject (phi.GetType(),
phi.GetParent()),
op (phi.op),
acceptanceSetNo (phi.acceptanceSetNo)
{
/* empty */
}
TLINLINE TLFormula::TLFormula (const TLFormula* phi)
: SCObject (phi->GetType(),
phi->GetParent()),
op (phi->op),
acceptanceSetNo (phi->acceptanceSetNo)
{
/* empty */
}
TLINLINE TLLetter TLFormula::Operator (void) const
{
return op;
}
TLINLINE SCBoolean TLFormula::SetAcceptanceSetNo (SCNatural pAcceptanceSetNo)
{
acceptanceSetNo = pAcceptanceSetNo;
return true;
}
TLINLINE SCNatural TLFormula::GetAcceptanceSetNo (void) const
{
return acceptanceSetNo;
}
TLINLINE void TLFormula::Initialize (SCBoolean pPartialRewrite,
SCBoolean pSimplifyFormulae)
{
partialRewrite = pPartialRewrite;
simplifyFormulae = pSimplifyFormulae;
}
TLINLINE SCStream& operator<< (SCStream& out,
const TLFormula& phi)
{
return phi.Display (out);
}
TLINLINE SCStream& operator<< (SCStream& out,
const TLFormula* phi)
{
return phi->Display (out);
}
#endif // _TLFORMULA_INL_H_