Examples with Expr edu.mit.csail.sdg.ast.Expr used on opensource projects

Example 46 with Expr

use of edu.mit.csail.sdg.ast.Expr in project org.alloytools.alloy by AlloyTools.

the class ConvToConjunction method visit.

/**
 * {@inheritDoc}
 */
@Override
public Expr visit(ExprBinary x) throws Err {
    if (x.op == ExprBinary.Op.AND) {
        Expr a = visitThis(x.left);
        Expr b = visitThis(x.right);
        return a.and(b);
    }
    return x;
}