constOp.setConstant(prefConst[1]);
right = constOp;
}
// List
if ( left instanceof AbstractTermOperator ){
final AbstractTermOperator abstractTermOperator = (AbstractTermOperator) left;
final GraphWrapperOperator gwo = new GraphWrapperOperator(abstractTermOperator);
rootListLeft.add(gwo);
}
if ( right instanceof AbstractTermOperator ){
final AbstractTermOperator abstractTermOperator = (AbstractTermOperator) right;
final GraphWrapperOperator gwo = new GraphWrapperOperator(abstractTermOperator);
rootListRight.add(gwo);
}
// // Uniterm
// if ( left instanceof UnitermOperator ){