SemOpt
$Revision:83+[c2a47fa11ed3+]$
Main Page
Classes
Files
File List
File Members
StableSemantics.h
1
/*
2
* StableSemantics.h
3
*
4
* Created on: 4 Jun 2013
5
* Author: geryo
6
*/
7
8
#ifndef STABLESEMANTICS_H_
9
#define STABLESEMANTICS_H_
10
11
#include "CompleteSemantics.h"
12
13
class
StableSemantics
:
public
CompleteSemantics
14
{
15
typedef
CompleteSemantics
super
;
16
public
:
17
void
compute
();
21
StableSemantics
(
AF
*the_af,
int
enc) :
22
super
(the_af, enc)
23
{
24
}
25
;
26
27
virtual
~
StableSemantics
();
28
};
29
30
#endif
/* STABLESEMANTICS_H_ */
src
StableSemantics.h
Generated on Wed Jun 5 2013 13:51:42 for SemOpt by
1.8.1.2