SemOpt
$Revision:83+[c2a47fa11ed3+]$
Main Page
Classes
Files
File List
File Members
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
13
class
GroundedSemantics
:
public
CompleteSemantics
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_ */
src
GroundedSemantics.h
Generated on Wed Jun 5 2013 13:51:42 for SemOpt by
1.8.1.2