X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fclasses.h;h=58f5a02be32f12674ac48ce34e963856bef4172d;hb=8948c9f91441673b06722feee277ad35838ef401;hp=fd370a7f96859bc3c36fd532f3707800b9d2685d;hpb=c5e632659f6f8ad931cf14104f72a5aa59acf911;p=satune.git diff --git a/src/classes.h b/src/classes.h old mode 100755 new mode 100644 index fd370a7..58f5a02 --- a/src/classes.h +++ b/src/classes.h @@ -23,8 +23,13 @@ class Order; class MutableSet; class Function; class Tuner; +class Transformer; class Set; class BooleanLogic; +class Serializer; +class ElementFunction; + typedef uint64_t VarType; +typedef unsigned int uint; #endif