aima.logic.fol
Class Connectors

java.lang.Object
  extended by aima.logic.fol.Connectors

public class Connectors
extends java.lang.Object

Author:
Ravi Mohan

Field Summary
static java.lang.String AND
           
static java.lang.String BICOND
           
static java.lang.String IMPLIES
           
static java.lang.String NOT
           
static java.lang.String OR
           
 
Constructor Summary
Connectors()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

AND

public static java.lang.String AND

OR

public static java.lang.String OR

NOT

public static java.lang.String NOT

IMPLIES

public static java.lang.String IMPLIES

BICOND

public static java.lang.String BICOND
Constructor Detail

Connectors

public Connectors()