spec/support/factory_methods.rb in mini_kraken-0.1.11 vs spec/support/factory_methods.rb in mini_kraken-0.1.12

- old
+ new

@@ -26,9 +26,16 @@ def cons(obj1, obj2 = nil) Core::ConsCell.new(obj1, obj2) end # Factory method for constructing a goal using the Equals relation. + # @param args [Array<Core::Goal>] + # @return [Core::Goal] + def conde_goal(args) + Core::Goal.new(Core::Conde.instance, args) + end + + # Factory method for constructing a goal using the Equals relation. # @param arg1 [Term] # @param arg2 [Term] # @return [Core::Goal] def equals_goal(arg1, arg2) Core::Goal.new(Core::Equals.instance, [arg1, arg2])