tool/lrama/lib/lrama/counterexamples/transition_path.rb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

module Lrama
  class Counterexamples
    class TransitionPath < Path
      def type
        :transition
      end

      def transition?
        true
      end

      def production?
        false
      end
    end
  end
end