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])