001    package aima.logic.fol;
002    
003    /**
004     * @author Ciaran O'Reilly
005     * 
006     */
007    public class Quantifiers {
008            public static final String FORALL = "FORALL";
009            public static final String EXISTS = "EXISTS";
010            
011            public static boolean isFORALL(String quantifier) {
012                    return FORALL.equals(quantifier);
013            }
014    
015            public static boolean isEXISTS(String quantifier) {
016                    return EXISTS.equals(quantifier);
017            }
018    }