public Matrix AddBinaryPredication(BinaryPredicate aPredicate, Variable aVariable1, Variable aVariable2)
{
Matrix lPredication = Factory.Predication(aPredicate, aVariable1, aVariable2);
if (mPredications.ContainsKey(lPredication))
{
return(mPredications[lPredication]);
}
else
{
mPredications.Add(lPredication, lPredication);
return(lPredication);
}
}
public BinaryPredicate AddBinaryPredicate(char aSymbol)
{
if (mBinaryPredicates.ContainsKey(aSymbol))
{
return(mBinaryPredicates[aSymbol]);
}
else
{
BinaryPredicate aPredicate = Factory.BinaryPredicate(aSymbol);
mBinaryPredicates.Add(aSymbol, aPredicate);
return(aPredicate);
}
}
internal BinaryPredication(BinaryPredicate aPredicate, Variable aVariable1, Variable aVariable2)
{
mPredicate = aPredicate;
mVariable1 = aVariable1;
mVariable2 = aVariable2;
}
/// <summary>
/// Create a predication on two variables.
/// </summary>
/// <param name="aPredicate">a predicate</param>
/// <param name="aVariable">a variable</param>
/// <param name="aVariable">another variable</param>
/// <returns>a new predication</returns>
public static Matrix Predication(BinaryPredicate aPredicate, Variable aVariable1, Variable aVariable2)
{
return(new BinaryPredication(aPredicate, aVariable1, aVariable2));
}
