/// <summary> /// Constructs an init element. /// </summary> /// <param name="function">Function term.</param> /// <param name="term">Argument term.</param> public EqualsObjectFunctionInitElement(BasicObjectFunctionTerm function, ConstantTerm term) { Function = function; Term = term; }
/// <summary> /// Constructs an init element. /// </summary> /// <param name="term1">First argument term.</param> /// <param name="term2">Second argument term.</param> public EqualsInitElement(ConstantTerm term1, ConstantTerm term2) { Term1 = term1; Term2 = term2; }