spec/support/factory_methods.rb in mini_kraken-0.1.05 vs spec/support/factory_methods.rb in mini_kraken-0.1.06
- old
+ new
@@ -32,9 +32,17 @@
# @return [Core::Goal]
def equals_goal(arg1, arg2)
Core::Goal.new(Core::Equals.instance, [arg1, arg2])
end
+ # Factory method for constructing a goal using the Equals relation.
+ # @param g1 [Core::Goal]
+ # @param g2 [Core::Goal]
+ # @return [Core::Goal]
+ def conj2_goal(g1, g2)
+ Core::Goal.new(Core::Conj2.instance, [g1, g2])
+ end
+
# Factory method for constructing a KSymbol instance
# @param aSymbol [Symbol]
# @return [Core::KSymbol]
def k_symbol(aSymbol)
Core::KSymbol.new(aSymbol)