aima.logic.fol
Class FOLDomain

java.lang.Object
  aima.logic.fol.FOLDomain

public class FOLDomain
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

FOLDomain()

FOLDomain(java.util.Set<java.lang.String> constants, java.util.Set<java.lang.String> functions, java.util.Set<java.lang.String> predicates)

Method Summary

void	addConstant(java.lang.String constant)
void	addFunction(java.lang.String function)
void	addPredicate(java.lang.String predicate)
java.util.Set<java.lang.String>	getConstants()
java.util.Set<java.lang.String>	getFunctions()
java.util.Set<java.lang.String>	getPredicates()

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLDomain

public FOLDomain(java.util.Set<java.lang.String> constants,
                 java.util.Set<java.lang.String> functions,
                 java.util.Set<java.lang.String> predicates)

FOLDomain

public FOLDomain()

Method Detail

getConstants

public java.util.Set<java.lang.String> getConstants()

getFunctions

public java.util.Set<java.lang.String> getFunctions()

getPredicates

public java.util.Set<java.lang.String> getPredicates()

addConstant

public void addConstant(java.lang.String constant)

addFunction

public void addFunction(java.lang.String function)

addPredicate

public void addPredicate(java.lang.String predicate)