aima.core.logic.fol

Class Quantifiers

java.lang.Object

aima.core.logic.fol.Quantifiers

public class Quantifiers
extends java.lang.Object

Author:

Ciaran O'Reilly

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	EXISTS
static java.lang.String	FORALL

Constructor Summary

Constructors

Constructor and Description
Quantifiers()

Method Summary

Modifier and Type	Method and Description
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)