Predator  [unstable] git snapshot
Data Structures | Namespaces | Typedefs | Enumerations | Functions
fixed_point_rewrite.hh File Reference
#include "fixed_point.hh"

Go to the source code of this file.

Data Structures

class  IStateRewriter
class  MultiRewriter
class  RecordRewriter
class  StateRewriter
struct  GenericVar
class  AnnotatedInsn
class  ClInsn
class  TextInsn

Namespaces

namespace  FixedPoint

Typedefs

typedef int TBoolVarId
typedef std::set< GenericVar > TGenericVarSet

Enumerations

enum  EVarLevel {
  VL_NONE,
  VL_CODE_LISTENER,
  VL_CONTAINER_VAR,
  VL_COND_VAR
}

Functions

bool operator< (const GenericVar &a, const GenericVar &b)
 required by std::set<GenericVar>
bool operator== (const GenericVar &a, const GenericVar &b)
 required by operator== over std::set<GenericVar>
bool operator!= (const GenericVar &a, const GenericVar &b)