aima.logic.fol
Class Connectors

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

public class Connectors
extends java.lang.Object

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

static boolean	isAND(java.lang.String connector)
static boolean	isBICOND(java.lang.String connector)
static boolean	isIMPLIES(java.lang.String connector)
static boolean	isNOT(java.lang.String connector)
static boolean	isOR(java.lang.String connector)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

AND

public static final java.lang.String AND

See Also:

Constant Field Values

OR

public static final java.lang.String OR

See Also:

Constant Field Values

NOT

public static final java.lang.String NOT

See Also:

Constant Field Values

IMPLIES

public static final java.lang.String IMPLIES

See Also:

Constant Field Values

BICOND

public static final java.lang.String BICOND

See Also:

Constant Field Values

Constructor Detail

Connectors

public Connectors()

Method Detail

isAND

public static boolean isAND(java.lang.String connector)

isOR

public static boolean isOR(java.lang.String connector)

isNOT

public static boolean isNOT(java.lang.String connector)

isIMPLIES

public static boolean isIMPLIES(java.lang.String connector)

isBICOND

public static boolean isBICOND(java.lang.String connector)