private List <To> getResolutionByRightNegation(int rightIndex)
{
Negation negation = (Negation)currentEquation.getRight().getChildren()[rightIndex];
To nextEquation = (To)currentEquation.deepCopy();
nextEquation.getRight().getChildren().RemoveAt(rightIndex);
nextEquation.getLeft().getChildren().Insert(0, negation.getChild());
return(new List <To>()
{
nextEquation
});
}
private List <To> getResolutionByLeftNegation(int leftIndex)
{
Negation negation = (Negation)currentEquation.getLeft().getChildren()[leftIndex];
INode nextNode = negation.getChild();
To nextEquation = (To)currentEquation.deepCopy();
nextEquation.getLeft().getChildren().RemoveAt(leftIndex);
nextEquation.getRight().getChildren().Add(nextNode);
return(new List <To>()
{
nextEquation
});
}
