Sha256: 27fc836e468cbecab1d62cfce9a4cb6867a8b761f9fd2e65ef0213a8c7da4cf9
Contents?: true
Size: 296 Bytes
Versions: 13
Compression:
Stored size: 296 Bytes
Contents
module Lrama class Counterexamples class StartPath < Path def initialize(to_state_item) super nil, to_state_item end def type :start end def transition? false end def production? false end end end end
Version data entries
13 entries across 13 versions & 1 rubygems