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)