SemOpt  $Revision:83+[c2a47fa11ed3+]$
SemistableSemantics.h
1 /*
2  * SemistableSemantics.h
3  *
4  * Created on: 4 Jun 2013
5  * Author: geryo
6  */
7 
8 #ifndef SEMISTABLESEMANTICS_H_
9 #define SEMISTABLESEMANTICS_H_
10 
11 #include "CompleteSemantics.h"
12 
14 {
15  typedef CompleteSemantics super;
16 public:
17  void compute();
21  SemistableSemantics(AF *the_af, int enc) :
22  super(the_af, enc)
23  {
24  }
25  ;
26  virtual ~SemistableSemantics();
27 };
28 
29 #endif /* SEMISTABLESEMANTICS_H_ */