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