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 }); }