001    package aima.logic.fol;
002    
003    /**
004     * @author Ravi Mohan
005     * 
006     */
007    public class Connectors {
008            public static final String AND = "AND";
009    
010            public static final String OR = "OR";
011    
012            public static final String NOT = "NOT";
013    
014            public static final String IMPLIES = "=>";
015    
016            public static final String BICOND = "<=>";
017    
018            public static boolean isAND(String connector) {
019                    return AND.equals(connector);
020            }
021    
022            public static boolean isOR(String connector) {
023                    return OR.equals(connector);
024            }
025    
026            public static boolean isNOT(String connector) {
027                    return NOT.equals(connector);
028            }
029    
030            public static boolean isIMPLIES(String connector) {
031                    return IMPLIES.equals(connector);
032            }
033    
034            public static boolean isBICOND(String connector) {
035                    return BICOND.equals(connector);
036            }
037    }