/// <summary> /// Initializes a new instance of the <see cref="WME"/> class. /// </summary> /// <param name="label">The label.</param> /// <param name="v1">The Identifier.</param> /// <param name="v2">The Attribute.</param> /// <param name="v3">The Value.</param> public WME(string label, Term v1, Term v2, Term v3) : this(label) { Identifier = v1; Attribute = v2; Value = v3; }
/// <summary> /// Initializes a new instance of the <see cref="WME"/> class. /// </summary> /// <param name="v1">The Identifier.</param> /// <param name="v2">The Attribute.</param> /// <param name="v3">The Value.</param> public WME(Term v1, Term v2, Term v3) : this("WME", v1, v2, v3) { }
/// <summary> /// Gets the term position from conditions. /// </summary> /// <param name="conditional">The conditional.</param> /// <returns></returns> private int GetTermPositionFromConditions(Term conditional) { for (int i = 0; i < 3; i++) { Term t = _lhs[0].Fields[i]; if (t.Value.Equals(conditional.Value)) return i; } return -1; }
/// <summary> /// Initializes a new instance of the <see cref="BindingPair"/> class. /// </summary> /// <param name="variable">The variable.</param> /// <param name="term">The term.</param> public BindingPair(Variable variable, Term term) { _variable = variable; _substitutor = term; }