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