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; }
throw new NoViableAltException(LT(1), getFilename());
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; }
throw new NoViableAltException(LT(1), getFilename());
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 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; }
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; }
throw new NoViableAltException(LT(1), getFilename());
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; }
throw new NoViableAltException(LT(1), getFilename());
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; }
throw new NoViableAltException(LT(1), getFilename());
throw new NoViableAltException(LT(1), getFilename());
throw new NoViableAltException(LT(1), getFilename());