X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fclasslist.h;h=cccf6890fc596dda20286a1a8819846686639720;hp=8b412eab0f93c2c11d55d029a75f3d3e103d2f7e;hb=a76d4453326c0199b33a0a4f21c6e92b600ebfea;hpb=fdf0e45c309033c29b504a69dfe1e9ab0e2e2ff7 diff --git a/src/classlist.h b/src/classlist.h index 8b412ea..cccf689 100644 --- a/src/classlist.h +++ b/src/classlist.h @@ -12,48 +12,70 @@ #include "mymemory.h" #include -#define bool int -#define true 1 -#define false 0 +#include "classes.h" +#include "astnode.h" -struct CSolver; -typedef struct CSolver CSolver; -struct Constraint; -typedef struct Constraint Constraint; +class BooleanOrder; +class BooleanVar; -struct Boolean; -typedef struct Boolean Boolean; +class BooleanPredicate; +class ASTNode; + + + +class ElementFunction; +class ElementSet; +class ElementConst; + +class FunctionOperator; +class FunctionTable; -struct IncrementalSolver; -typedef struct IncrementalSolver IncrementalSolver; -struct Set; -typedef struct Set Set; -typedef struct Set MutableSet; +class PredicateTable; +class PredicateOperator; -struct Element; -typedef struct Element Element; -struct Function; -typedef struct Function Function; +class OrderPair; -struct Predicate; -typedef struct Predicate Predicate; +class OrderElement; +class IntegerEncodingRecord; +class Transform; +class Pass; +class Transformer; +class AnalysisData; -struct Table; -typedef struct Table Table; +class ElementEncoding; +class FunctionEncoding; +class OrderEncoding; -struct Order; -typedef struct Order Order; +class OrderGraph; +class OrderNodeKey; +class OrderNode; +class OrderEdge; +class DOREdge; -struct ElementEncoder; -typedef struct ElementEncoder ElementEncoder; +class AutoTuner; +class MultiTuner; +class SearchTuner; +class TunableSetting; -struct FunctionEncoder; -typedef struct FunctionEncoder FunctionEncoder; +class SerializeTuner; -typedef unsigned int uint; -typedef uint64_t VarType; +class TunableDesc; + +class OrderResolver; +class DecomposeOrderResolver; + +class EncodingGraph; +class EncodingNode; +class EncodingEdge; +class EncodingSubGraph; + +struct IncrementalSolver; +typedef struct IncrementalSolver IncrementalSolver; +struct TableEntry; +typedef struct TableEntry TableEntry; +typedef int TunableParam; #endif