/// <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) { }