Sha256: cb2fc852964105b205f8188be755d8b86d4a3ba70cb60d22e8ee1704c566d927

Contents?: true

Size: 256 Bytes

Versions: 3

Compression:

Stored size: 256 Bytes

Contents

# frozen_string_literal: true

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

      def transition?
        true
      end

      def production?
        false
      end
    end
  end
end

Version data entries

3 entries across 3 versions & 1 rubygems

Version Path
lrama-0.7.0 lib/lrama/counterexamples/transition_path.rb
lrama-0.6.11 lib/lrama/counterexamples/transition_path.rb
lrama-0.6.10 lib/lrama/counterexamples/transition_path.rb