Fact class
Represents a simple fact.
Namespace : ielib
Assembly : ielib.dll
C#
public class Fact
Constructors Fact(string aName, DataType eType, object aValue) : Initializes a new instance of the Fact class with the name, type and initial value of a fact.
Fact(Fact f) : Initializes a new instance of the Fact class from another object of the same class.
Properties ConclusionCount : Gets the number of rules that this fact is in the conclusion.
Id : Gets the ID of this object.
IsDeductible : Gets a value indicating whether this fact is deductible.
IsLeaf : Gets a value indicating whether this object is a leaf of the tree.
IsTarget : Gets a value indicating whether this object is the root of the tree.
Name: Gets or sets the name of this object.
PackageId : Gets the ID package that this fact belongs (from version 1.2.0.0).
PremiseCount : Gets the number of rules that this fact is in the premise.
Tag : Gets or sets an object associated with this object.
Type : Gets the type of this object.
TypeName : Gets a string that represents the type of this object.
SymbolsList : Gets a list of the symbols of this object.
Status : Gets the status of this object.
Value : Gets the value of this object.
Variable1 : Gets the first variable associated with this object (from version 1.3.0.0).
Variable2 : Gets the second variable associated with this object (from version 1.3.0.0).
MethodsAddSymbol(string aSymbol) : Adds a symbol to this object.
AddVariable(FactVariable eFVar, string aVarName) : Adds a variable specified by name to this fact specifying the location of this variable (from version 1.3.0.0).
FirstRuleConclusion() : Gets the first rule that contains the conclusion to.
FirstRulePremise() : Gets the first rule that contains the premise to.
GetRuleConclusionAt(int i) : Gets the rule that contains the conclusion to index specified.
GetRuleConclusionById(int RuleId) : Gets the rule by its identifier containing the conclusion to.
GetRulePremiseAt(int i) : Gets the rule that contains the premise to index specified.
GetRulePremiseById(int RuleId) : Gets the rule by its identifier containing the premise to.
IndexOfSymbol(string aSymbol) : The specified symbol, and returns the index at base of zero of the first occurrence of symbols.
NextRuleConclusion() : Gets the next rule that contains the conclusion to.
NextRulePremise() : Gets the next rule that contains the premise to.
RemoveVariable(FactVariable eFVar) : Removes a variable associated with this fact (from version 1.3.0.0).
SetValue(objet aValue) : Assigns a value to this object.
SetType(Fact.DataType aType) : Defines the type of this object.