public void Bool(string name, Dictionary <string, RDElement> dict, object factPool, Rule rule, Action <int> callBack, int callBackID)
{
dict[name] = new RDBool(false);
callBack.Invoke(callBackID);
dict[name] = new RDBool(true);
callBack.Invoke(callBackID);
dict.Remove(name);
}
public RDBool Or(RDBool lhs, RDBool rhs, object factPool)
{
if (lhs.Data)
{
return(lhs);
}
else
{
return(rhs);
}
}
public virtual bool IsConstant(Formula formula, out RDElement result)
{
if (formula.Parameters == null)
{
int res = 0;
if (formula.OperationName == "TRUE")
{
result = new RDBool(true);
return(true);
}
if (formula.OperationName == "FALSE")
{
result = new RDBool(false);
return(true);
}
if (int.TryParse(formula.OperationName, out res))
{
result = new RDNumber(res);
return(true);
}
}
result = null;
return(false);
}
public RDBool And(RDBool rhs)
{
return(new RDBool(Data && rhs.Data));
}
public RDBool Or(RDBool rhs)
{
return(new RDBool(Data || rhs.Data));
}
public RDBool Not(RDBool rhs, object factPool)
{
return(rhs.Not());
}
