• Home
• org.aiddl
• aiddl-common-scala
• 0.5.1
• source code
• test-cases.aiddl

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

aiddl-test.automata.test-cases.aiddl Maven / Gradle / Ivy

(#mod self org.aiddl.automata.test)

(#req EVAL org.aiddl.eval.namespace)
(#nms E basic@EVAL)

(#req A org.aiddl.common.execution.automata.discrete-finite-state-machine)

(#assert t1
  (has-type
    (
      {s1 s2}
      {a b}
      {
        (s1 a) : s1
        (s1 b) : s2
        (s2 b) : s2
      }
      s1
      {s2}
    ) ^DFSM@A ))

(#assert t2
  (not
    (has-type
      (
        {s1 s2}
        {a b}
        {
          (s1 a) : s1
          (s1 b) : s2
          (s2 b) : s2
          (s2 b) : s3
        }
        s1
        {s2}
      ) ^DFSM@A )))

(#assert t3
  (not
     (has-type
       (
         {s1 s2}
         {a b}
         {
           (s1 a) : s1
           (s1 b) : s2
           (s2 b) : s2
           (s3 b) : s2
         }
         s1
         {s2}
       ) ^DFSM@A )))


(#assert t4
  (not
    (has-type
      (
        {s1 s2}
        {a b}
        {
          (s1 a) : s1
          (s1 b) : s2
          (s2 b) : s2
          (s2 b) : s2
        }
        s3
        {s2}
      ) ^DFSM@A )))


(#assert t5
  (not
    (has-type
      (
        {s1 s2}
        {a b}
        {
          (s1 a) : s1
          (s1 b) : s2
          (s2 b) : s2
          (s2 b) : s2
        }
        s1
        {s3}
      ) ^DFSM@A )))

(#assert t6
  (not
    (has-type
      (
        {s1 s2}
        {a b}
        {
          (s1 a) : s1
          (s1 b) : s2
          (s2 b) : s2
          (s2 c) : s2
        }
        s1
        {s2}
      ) ^DFSM@A )))