public void CarryOutBoolValues()
{
var expression = _next;
int i = expression.GetDepth();
for (int m = 2; m <= i; m++)
{
int k = 0;
int j = 0;
LogicExpression localLogicExpression;
while ((localLogicExpression = expression.GetSubExpression(m, j)) != null)
{
var localLogicBranch1 = (OperatorExpression) localLogicExpression;
BoolResolution n = LogicHandler.GetBoolResolution(localLogicBranch1);
if (n == BoolResolution.BoolRemoveBoolValues)
{
LogicExpression[] arrayOfLogicExpression = localLogicBranch1.Branches;
int i1 = arrayOfLogicExpression.Length;
foreach (LogicExpression t in arrayOfLogicExpression.Where(t => (t is LogicValue)))
{
i1--;
}
if (i1 == 1)
{
var localObject2 = arrayOfLogicExpression.FirstOrDefault(t => (!(t is LogicValue)));
OperatorExpression localLogicBranch2 = localLogicExpression.Parent;
if (localLogicBranch2 == null)
{
expression = localObject2;
localObject2.SetParent(null, -1);
}
else
{
localLogicBranch2.SetBranch(localObject2, localLogicExpression.GetPositionInParent());
}
}
else
{
var expressions = new LogicExpression[i1];
int i4 = 0;
foreach (LogicExpression t in arrayOfLogicExpression.Where(t => !(t is LogicValue)))
{
expressions[i4++] = t;
}
localLogicBranch1.Branches = expressions;
j++;
}
k = 1;
}
else if ((n == BoolResolution.BoolResolveTrue) || (n == BoolResolution.BoolResolveFalse))
{
bool @bool = n == BoolResolution.BoolResolveTrue;
var localLogicValue = new LogicValue(@bool);
var localObject2 = localLogicBranch1.Parent;
if (localObject2 == null)
{
localLogicValue.SetParent(null, -1);
_next = localLogicValue.Clone();
AddStep(localLogicValue, "Resolved bool values");
break;
}
localObject2.SetBranch(localLogicValue, localLogicBranch1.GetPositionInParent());
k = 1;
}
else
{
j++;
}
}
if (k == 0)
continue;
_next = expression.Clone();
AddStep(expression, "Removed redundant bool values");
expression = _next;
}
}
