public final Label term1() throws RecognitionException, TokenStreamException { Label l; Label r; l=term2(); { _loop4: do { if ((LA(1)==IFF)) { match(IFF); r=term2(); l=l.iff(r); } else { break _loop4; } } while (true); } return l; }
public final Label term3() throws RecognitionException, TokenStreamException { Label l; Label r; l=term4(); { _loop9: do { if ((LA(1)==OR)) { match(OR); r=term4(); l=l.or(r); } else { break _loop9; } } while (true); } return l; }
public final Label term4() throws RecognitionException, TokenStreamException { Label l; Label r; l=term5(); { _loop12: do { if ((LA(1)==AND)) { match(AND); r=term5(); l=l.and(r); } else { break _loop12; } } while (true); } return l; }
public final Label term2() throws RecognitionException, TokenStreamException { Label l; Label r; l=term3(); { switch ( LA(1)) { case IMPLIES: { match(IMPLIES); r=term3(); l=l.implies(r); break; } case EOF: case IFF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
public final Label term5() throws RecognitionException, TokenStreamException { Label l; Label x; switch ( LA(1)) { case LPAREN: case ATOM: case STRINGLITERAL: { l=term6(); break; } case NOT: { match(NOT); x=term6(); l=x.not(); break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } return l; }
Token s = null; switch ( LA(1)) { case LPAREN:
public final Label term4() throws RecognitionException, TokenStreamException { Label l; Label r; l=term5(); { _loop12: do { if ((LA(1)==AND)) { match(AND); r=term5(); l=l.and(r); } else { break _loop12; } } while (true); } return l; }
public final Label term3() throws RecognitionException, TokenStreamException { Label l; Label r; l=term4(); { _loop9: do { if ((LA(1)==OR)) { match(OR); r=term4(); l=l.or(r); } else { break _loop9; } } while (true); } return l; }
public final Label term1() throws RecognitionException, TokenStreamException { Label l; Label r; l=term2(); { _loop4: do { if ((LA(1)==IFF)) { match(IFF); r=term2(); l=l.iff(r); } else { break _loop4; } } while (true); } return l; }
public final Label term2() throws RecognitionException, TokenStreamException { Label l; Label r; l=term3(); { switch ( LA(1)) { case IMPLIES: { match(IMPLIES); r=term3(); l=l.implies(r); break; } case EOF: case IFF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
public final Label term1() throws RecognitionException, TokenStreamException { Label l; Label r; l=term2(); { switch ( LA(1)) { case IFF: { match(IFF); r=term2(); l=l.iff(r); break; } case EOF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
public final Label term5() throws RecognitionException, TokenStreamException { Label l; Label x; switch ( LA(1)) { case LPAREN: case ATOM: case STRINGLITERAL: { l=term6(); break; } case NOT: { match(NOT); x=term6(); l=x.not(); break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } return l; }
public final Label term1() throws RecognitionException, TokenStreamException { Label l; Label r; l=term2(); { switch ( LA(1)) { case IFF: { match(IFF); r=term2(); l=l.iff(r); break; } case EOF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
public final Label term1() throws RecognitionException, TokenStreamException { Label l; Label r; l=term2(); { switch ( LA(1)) { case IFF: { match(IFF); r=term2(); l=l.iff(r); break; } case EOF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
public final Label term2() throws RecognitionException, TokenStreamException { Label l; Label r; l=term3(); { switch ( LA(1)) { case IMPLIES: { match(IMPLIES); r=term3(); l=l.implies(r); break; } case EOF: case IFF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
public final Label term2() throws RecognitionException, TokenStreamException { Label l; Label r; l=term3(); { switch ( LA(1)) { case IMPLIES: { match(IMPLIES); r=term3(); l=l.implies(r); break; } case EOF: case IFF: case RPAREN: { break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } } return l; }
switch ( LA(1)) { case OR:
public final Label term5() throws RecognitionException, TokenStreamException { Label l; Label x; switch ( LA(1)) { case LPAREN: case ATOM: case STRINGLITERAL: { l=term6(); break; } case NOT: { match(NOT); x=term6(); l=x.not(); break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } return l; }
switch ( LA(1)) { case OR:
switch ( LA(1)) { case AND: