/// <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;
}
