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