-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathTLFormulaTRUE.h
37 lines (26 loc) · 875 Bytes
/
TLFormulaTRUE.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
/*
* File: TLFormulaTRUE.h
* Project: QUEST
* Author: Marc Diefenbruch, Axel M Hirche
* Date: (C) 1997, 1998 University of Essen, Germany
*/
#ifndef _TLFORMULATRUE_H_
#define _TLFORMULATRUE_H_
#include "TLFormulaAtomic.h"
class TLFormulaTRUE : public TLFormulaAtomic
{
public:
TLFormulaTRUE (const SCObject* pFather = NULL);
TLFormulaTRUE (const TLFormulaTRUE&);
TLFormulaTRUE (const TLFormulaTRUE*);
~TLFormulaTRUE (void);
TLFormula* GetCopy (void) const;
TLFormula* PushNegations (SCBoolean) const;
TLFormula* Rewrite (void) const;
protected:
private:
};
#if _TL_INLINING_
#include "TLFormulaTRUE.inl.h"
#endif
#endif // _TLFORMULATRUE_H_