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