@Override
    CEAST
    constraint(CEAST.NodeList clauses)
            throws ParseException
    {
        CEAST node = new CEAST(CEAST.Sort.CONSTRAINT);
        node.clauses = clauses;
        node.dimdefs = dimdefs; // save for constructing the DMR
        this.constraint = node;
        return node;
    }
@ Override CEAST constraint ( CEAST . NodeList clauses ) throws ParseException { CEAST node = new CEAST ( CEAST . Sort . CONSTRAINT ) ; node . clauses = clauses ; node . dimdefs = dimdefs ; this . constraint = node ; return node ; }
Parser primary actions