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