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