Fact.AddVariable(FactVariable , string) method

      Adds a variable specified by name to this fact specifying the location of this variable (from version 1.3.0.0).

Namespace : ielib
Assembly : ielib.dll

public void AddVariable(FactVariable eFVar, string aVarName)

Parameters

Type : ielib.Fact. FactVariable

eFVar : Represents the location of the variable.

Type : System.string.

aVarName : Represents the name of the variable to add.

enum Fact.FactVariable :

Var1: Indicates that the added variable is the variable 1.
Var2: Indicates that the added variable is the variable 2.

Exception : The variable name contains at least one character that is not accepted.

Note : Variables is not the same name. A variable can be associated with different objects of the class Fact. Only the Fact of Boolean type can be associated with variables.


Example :

      A rule consists of two premises and a conclusion:

      If (X is the brother of Y) and (Z is the father of Y) then Z is the father of X.

      We can notice that the variable X is associated with the fact "is the brother of " and " is the father of", same with the other two variables Y and Z.