aima.logic.fol
Class Quantifiers

java.lang.Object
  aima.logic.fol.Quantifiers

public class Quantifiers
extends java.lang.Object

Field Summary

static java.lang.String	EXISTS
static java.lang.String	FORALL

Constructor Summary

Quantifiers()

Method Summary

static boolean	isEXISTS(java.lang.String quantifier)
static boolean	isFORALL(java.lang.String quantifier)

Methods inherited from class java.lang.Object

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

Field Detail

FORALL

public static final java.lang.String FORALL

See Also:

Constant Field Values

EXISTS

public static final java.lang.String EXISTS

See Also:

Constant Field Values

Constructor Detail

Quantifiers

public Quantifiers()

Method Detail

isFORALL

public static boolean isFORALL(java.lang.String quantifier)

isEXISTS

public static boolean isEXISTS(java.lang.String quantifier)