00001
00019 #include "libfaudes.h"
00020
00021
00022
00023
00024 using namespace faudes;
00025
00026
00028
00030
00031 int main() {
00032
00033
00034
00035 typedef faudes::TaGenerator<AttributeVoid,AttributeVoid,AttributeFlags,AttributeVoid> fGenerator;
00036 typedef faudes::TaEventSet<AttributeFlags> fEventSet;
00037
00038
00039
00040 fGenerator fg1;
00041
00042
00043 fg1.Read("data/simplemachine.gen");
00044
00045
00046
00047 AttributeFlags aflag= fg1.EventAttribute(1);
00048
00049
00050 aflag.Set(0x0000000f);
00051
00052
00053
00054
00055 fg1.EventAttribute(1,aflag);
00056
00057
00058
00059
00060 fg1.EventAttributep(1)->Set(0x00000f000);
00061
00062
00063
00064 AttributeFlags bflag= fg1.EventAttribute(1);
00065
00066
00067
00068 TaEventSet<AttributeFlags> eset_ref_alph = fg1.Alphabet();
00069
00070
00071
00072 EventSet eset_copy_alph = fg1.Alphabet();
00073
00074
00075
00076
00077 std::cout << "################################\n";
00078 std::cout << "# tutorial, show flags \n";
00079 std::cout << bflag.ToString() << "\n";
00080 std::cout << "################################\n";
00081
00082
00083
00084
00085 fg1.Write("tmp_fsimplemachine.gen");
00086
00087
00088
00089 fg1.Read("tmp_fsimplemachine.gen");
00090
00091
00092
00093 std::cout << "################################\n";
00094 std::cout << "# tutorial, show generator with flags \n";
00095 fg1.DWrite();
00096 std::cout << "################################\n";
00097
00098
00099
00100
00101 Generator g1;
00102 g1.Read("tmp_fsimplemachine.gen");
00103
00104
00105
00106 std::cout << "################################\n";
00107 std::cout << "# tutorial, show generator without flags \n";
00108 g1.DWrite();
00109 std::cout << "################################\n";
00110
00111 }
00112