Contents

# frozen_string_literal: true

module Lrama
  class Counterexamples
    class Path
      def initialize(from_state_item, to_state_item)
        @from_state_item = from_state_item
        @to_state_item = to_state_item
      end

      def from
        @from_state_item
      end

      def to
        @to_state_item
      end

      def to_s
        "#<Path(#{type})>"
      end
      alias :inspect :to_s
    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
lrama-0.6.10	lib/lrama/counterexamples/path.rb