/// <summary>
/// Initializes a new instance of the <see cref="FuncTerm"/> class.
/// </summary>
/// <param name="s">The s.</param>
/// <param name="builtin">The builtin.</param>
public FuncTerm(String s, IBuiltIn builtin) : this(s)
{
_builtin = builtin;
}
/// <summary>
/// Initializes a new instance of the <see cref="FuncTerm"/> class.
/// </summary>
/// <param name="s">The s.</param>
/// <param name="builtin">The builtin.</param>
public FuncTerm(String s, IBuiltIn builtin)
: this(s)
{
_builtin = builtin;
}
/// <summary>
/// Initializes a new instance of the <see cref="EVAL"/> class.
/// </summary>
/// <param name="label">The label.</param>
/// <param name="id">The id.</param>
/// <param name="attribute">The attribute.</param>
/// <param name="value">The value.</param>
public EVAL(string label, Term id, IBuiltIn attribute, Term value)
: base(label, id, new FuncTerm(attribute.ToString(), attribute), value)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="EVAL"/> class.
/// </summary>
/// <param name="id">The id.</param>
/// <param name="attribute">The attribute.</param>
/// <param name="value">The value.</param>
public EVAL(Term id, IBuiltIn attribute, Term value)
: base("FunctionCondition", id, new FuncTerm(attribute.ToString(), attribute), value)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="EVAL"/> class.
/// </summary>
/// <param name="label">The label.</param>
/// <param name="id">The id.</param>
/// <param name="attribute">The attribute.</param>
/// <param name="value">The value.</param>
public EVAL(string label, Term id, IBuiltIn attribute, Term value)
: base(label, id, new FuncTerm(attribute.ToString(), attribute), value)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="EVAL"/> class.
/// </summary>
/// <param name="id">The id.</param>
/// <param name="attribute">The attribute.</param>
/// <param name="value">The value.</param>
public EVAL(Term id, IBuiltIn attribute, Term value)
: base("FunctionCondition", id, new FuncTerm(attribute.ToString(), attribute), value)
{
}
