module RubyQC::API
Public Instance Methods
booleans()
click to toggle source
# File lib/rubyqc/api.rb, line 17 def booleans [true, false] end
check(*args, &block)
click to toggle source
# File lib/rubyqc/api.rb, line 7 def check *args, &block RubyQC::Modifier.new(args, &block) end
forall(*args) { |*val| ... }
click to toggle source
# File lib/rubyqc/api.rb, line 11 def forall *args, &block args[0].product(*args[1..-1]).each do |val| yield(*val) end end
oneof(args)
click to toggle source
# File lib/rubyqc/api.rb, line 41 def oneof args OneOf.new(args) end
someof(num, args)
click to toggle source
# File lib/rubyqc/api.rb, line 37 def someof num, args SomeOf.new(num, args) end