Sha256: 930f2fbb58ae2e9f837ab2dda4eb3f83fe811f6606ac0c82e8066e26894fc837
Contents?: true
Size: 393 Bytes
Versions: 13
Compression:
Stored size: 393 Bytes
Contents
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
13 entries across 13 versions & 1 rubygems