equal
deleted
inserted
replaced
838 println(ders2(s,r)) |
838 println(ders2(s,r)) |
839 println("neq") |
839 println("neq") |
840 } |
840 } |
841 } |
841 } |
842 } |
842 } |
843 |
843 def have_fun(){ |
|
844 val bis = List(S,S) |
|
845 val bits = List(S,S,Z) |
|
846 val reg = ("a" | (("a")%) )~("b") |
|
847 val res = decode_aux(reg, bis) |
|
848 val result = decode_aux(reg, bis) |
|
849 val result1 = decode_aux(reg, List(Z)) |
|
850 println(res) |
|
851 println(result) |
|
852 println(bsimp(bders( "a".toList, internalise(reg)))) |
|
853 println(result1) |
|
854 } |
844 def main(args: Array[String]) { |
855 def main(args: Array[String]) { |
845 //println(S.toString) |
856 //println(S.toString) |
846 //find_re() |
857 //find_re() |
847 //tellmewhy() |
858 //tellmewhy() |
848 //correctness_proof_convenient_path() |
859 //correctness_proof_convenient_path() |
849 tellmewhy() |
860 //tellmewhy() |
|
861 have_fun() |
850 //string_der_test() |
862 //string_der_test() |
851 //comp(rd_string_gen(3,6).toList, random_struct_gen(7)) |
863 //comp(rd_string_gen(3,6).toList, random_struct_gen(7)) |
852 //newxp1() |
864 //newxp1() |
853 //contains7() |
865 //contains7() |
854 //retrieve_encode_STARS() |
866 //retrieve_encode_STARS() |